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

  • Task LOGIC-178 11/Jan/16 Example of unifier on wiki uses wrong syntax?
  • Enhancement LOGIC-144 02/Jan/16 Extending cljs.core.logic with all of the functionality from clojure.core.logic
  • Defect LOGIC-177 28/Dec/15 binding to a deep nested vector takes too much time

Activity Stream