Hackernews posts about miniKanren

1. Differences Between miniKanren and Prolog (minikanren.org)
   63 points by tosh 10 months ago | 29 comments
2. Justified SMT 1: The miniKanren inside Z3 (www.philipzucker.com)
   4 points by mpweiher 5 months ago | discuss
3. William Byrd on Logic and Relational Programming, miniKanren (2014) (www.infoq.com)
   1 points by Tomte almost 2 years ago | discuss
4. Learning the Reasoned Schemer
   12 points by paultarvydas almost 2 years ago | discuss