Hackernews posts about miniKanren

1. William Byrd on Logic and Relational Programming, miniKanren (2014) (www.infoq.com)
   6 points by tosh 20 days ago | discuss
2. Differences Between miniKanren and Prolog (minikanren.org)
   2 points by tosh 21 days ago | discuss
3. MicroKanren in J (2020) [pdf] (minikanren.org)
   2 points by tosh 20 days ago | discuss
4. What Is miniKanren? (minikanren.org)
   235 points by Bluestein over 1 year ago | 135 comments
5. Datalog in miniKanren (deosjr.github.io)
   134 points by deosjr 11 months ago | 17 comments
6. Justified SMT 1: The miniKanren inside Z3 (www.philipzucker.com)
   4 points by mpweiher almost 2 years ago | discuss
7. From Bronze to GM in miniKanren Episode 1 in an ongoing series [video] (www.youtube.com)
   1 points by fogus over 1 year ago | discuss
8. Show HN: CanhazKanren: A MicroKanren in Lolcode 1.3 (github.com)
   2 points by jasonhemann about 2 months ago | discuss