3 ms·
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
by michaelsbradley 12y ago
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 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 http://gradworks.umi.com/33/80/3380156.html
- agumonkey 12y agoIs it the talk where they infer programs that will return 6 ?