A Logic Programming library for Clojure.

Issues: Due

  • Defect LOGIC-99 StackOverflow for large `appendo`
  • Defect LOGIC-114 stack overflow with conda/u
  • Defect LOGIC-117 one-shot constraints with multiple rands may run more than once

Issues: 30 Day Summary

Issues: 0 created and 0 resolved

Issues: Updated recently

  • Defect LOGIC-189 28/Nov/18 The order of constraits matters?
  • Defect LOGIC-188 08/Nov/18 EQ conditions which match against a negative result fail to find any results.
  • Defect LOGIC-187 27/Sep/18 *locals* is unbound in some calls to `p->term`

Activity Stream