[chris_5f]

Good Post. But I struggled to understand it a first. Would be really helpful if you add a short description explaining it.

[tmtvl]

It's simple: it starts with Scheme being implemented in Prolog and then Kanren gets implemented in the Prolog Scheme. It's much less difficult than a couple of magnets and an air hockey table.