On: MiniKanren – An embedded DSL for logic programming

[michaelsbradley]

My first introduction to miniKanren was Dan Friedman and Will Byrd's joint presentation at Strange Loop 2012 – what a blast!

http://www.infoq.com/presentations/miniKanren

Byrd's dissertation on miniKanren is an accessible introduction to the concepts involved in relational programming:

http://gradworks.umi.com/33/80/3380156.html

[agumonkey → michaelsbradley]

Is it the talk where they infer programs that will return 6 ?