Hackernews posts about miniKanren

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