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

Issues: Updated recently

  • Defect LOGIC-172 Today 2:41 AM nafc doesn't work with more complex goals
  • Enhancement LOGIC-171 Last Tuesday 6:00 AM The docstring of condu is incorrect or at least confusing
  • Defect LOGIC-169 Last Sunday 8:14 AM equality of non-unique lvars broken for clojure 1.7

Activity Stream