William Byrd on logic and relational programming, miniKanren (2014)
For anyone who finds this topic interesting, you might be interested in the following resources:<p><a href="http:&#x2F;&#x2F;minikanren.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;minikanren.org&#x2F;</a><p>The second edition of `The Reasoned Schemer` (MIT Press, 2018):<p><a href="https:&#x2F;&#x2F;mitpress.mit.edu&#x2F;books&#x2F;reasoned-schemer-second-edition" rel="nofollow">https:&#x2F;&#x2F;mitpress.mit.edu&#x2F;books&#x2F;reasoned-schemer-second-editi...</a><p>The Clojure&#x2F;conj 2016 talk Greg Rosenblatt and I gave on Barliman:<p><a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=er_lLvkklsk" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=er_lLvkklsk</a><p>`A Unified Approach to Solving Seven Programming Problems (Functional Pearl)`, William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, Matthew Might (ICFP 2017) (Open Access):<p><a href="https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;10.1145&#x2F;3110252" rel="nofollow">https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;10.1145&#x2F;3110252</a><p>and the related talk:<p><a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=o3AHnyEf7IE" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=o3AHnyEf7IE</a><p>and Nada Amin&#x27;s interactive version of the paper:<p><a href="http:&#x2F;&#x2F;io.livecode.ch&#x2F;learn&#x2F;namin&#x2F;icfp2017-artifact-auas7pp" rel="nofollow">http:&#x2F;&#x2F;io.livecode.ch&#x2F;learn&#x2F;namin&#x2F;icfp2017-artifact-auas7pp</a><p>Cheers,<p>--Will