Hackernews posts about miniKanren

1. What Is miniKanren? (minikanren.org)
   235 points by Bluestein 8 months ago | 135 comments
2. Datalog in miniKanren (deosjr.github.io)
   134 points by deosjr 2 months ago | 17 comments
3. Differences Between miniKanren and Prolog (minikanren.org)
   63 points by tosh over 1 year ago | 29 comments
4. Justified SMT 1: The miniKanren inside Z3 (www.philipzucker.com)
   4 points by mpweiher about 1 year ago | discuss
5. From Bronze to GM in miniKanren Episode 1 in an ongoing series [video] (www.youtube.com)
   1 points by fogus 6 months ago | discuss