Hackernews posts about miniKanren

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