core.logic

A Logic Programming library for Clojure.

• URL:

  https://github.com/clojure/core.logic

  Lead:

  David Nolen

  Key:

  LOGIC

• LOGIC-30 2012-03-09T19-58 2013-03-17T18-53 Add persistent memory tables
• LOGIC-38 2012-05-13T11-07 2012-05-13T11-19 Logic Threading Macro
• LOGIC-47 2012-08-30T11-33 2012-08-30T11-33 is macro needs to be improved

• LOGIC-68 2012-11-16T13-20 Last Thursday 1:36 AM add Prolog meta-logical predicates bagof, setof, findall
• LOGIC-138 2013-06-10T15-29 10/Jun/13 Allow tying multiple noms in one binder
• LOGIC-129 2013-04-04T14-30 09/Jun/13 matcha/matchu are not faithful to the semantics of conda/condu