core.logic

core.logic

Summary

Description

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-181 Yesterday 5:02 PM Running rembero returns :- (!= _0 _0)
  • Defect LOGIC-180 21/Oct/16 spec detects error in -inc macro
  • Enhancement LOGIC-179 05/Aug/16 Document how defn/implicit do with multiple goals does not work

Activity Stream