Human Folly about “miniKanren”

index

• Item (news.ycombinator.com):

  Discussion thread on Will Byrd’s program #editor "Barliman", which uses #miniKanren to search for simple #Scheme programs that pass a given test suite. #KANREN

  on 02016-08-01
• Bkanren (github.com):

  #miniKanren extended with #constraint-programming and ported to Bigloo. Unfortunately it seems to be totally undocumented beyond the build instructions and a list of operators. #KANREN

  on 02015-09-18
• A core (github.com):

  #introduction to core.logic, the implementation of #miniKanren #logic-programming that’s in the #Clojure standard library. This has the major advantage over the other introductions I’ve found that it starts with explaining the usage of miniKanren, rather than the implementation. #KANREN

  on 02015-09-16
• miniKanren and Prolog (minikanren.org):

  comparing the #miniKanren #logic-programming language (a version of #Kanren) to #Prolog.

  on 02015-09-06
• Webmk (io.livecode.ch):

  the #miniKanren #logic-programming EDSL in a web-based #Scheme interpreter, interspersed with an explanation. #KANREN

  on 02015-09-06