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 2 resolved

Issues: Updated recently

  • Defect LOGIC-118 Last Monday 1:24 PM prep does not make lvar of ?x if ?x is in a vector
  • Enhancement LOGIC-163 12/Nov/14 Namespace qualify pldb relations
  • Defect LOGIC-162 09/Nov/14 FD logic doesn't always return all solutions

Activity Stream