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.