Commentary by cpressey on miniKanren works

The Reasoned Schemer

It is written in "programed" style, and tries to have a playful attitude and makes gratuitous references to eating. But it is easier to follow than the "standard" miniKanren tutorial, which is just brutally opaque IMO.

Relational Processing for Fun and Diversity

conda, condi, conde, condu

Understanding Mini-Kanren\'s Execution Model

ashton314/muKanren_reading: [Mirror] A close reading of the μKanren paper.

iambrj/metaKanren: Relational interpreter for miniKanren, in miniKanren.