Hackernews posts about miniKanren

1. What Is miniKanren? (minikanren.org)
   235 points by Bluestein 17 days ago | 135 comments
2. Differences Between miniKanren and Prolog (minikanren.org)
   63 points by tosh 12 months ago | 29 comments
3. Justified SMT 1: The miniKanren inside Z3 (www.philipzucker.com)
   4 points by mpweiher 7 months ago | discuss
4. Learning the Reasoned Schemer
   12 points by paultarvydas almost 2 years ago | discuss