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: 1 created and 0 resolved

Issues: Updated recently

  • Defect LOGIC-166 Yesterday 4:31 AM Reification exponential in depth of tree terms?
  • Defect LOGIC-142 31/Dec/14 Unified map values are returned as LVar rather than the unified value in ClojureScript
  • Defect LOGIC-154 31/Dec/14 walk* of an empty set overflows the stack

Activity Stream