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-168 Last Wednesday 12:21 PM Allow partial matching of keys not existing in a map
  • Defect LOGIC-162 10/Mar/15 FD logic doesn't always return all solutions
  • Defect LOGIC-156 10/Mar/15 Finite Domains - Two consecutive calls to run* return different results

Activity Stream