Task
Trivial
Enhancement
Trivial
Enhancement
Trivial
Enhancement
Minor
Provide more convenient syntax for defining a series of facts
Version: Unscheduled
Assignee: David Nolen
Enhancement
Minor
Defect
Minor
Enhancement
Minor
Enhancement
Minor
Make it possible to define facts on a relation defined in a different namespace.
Version: Unscheduled
Assignee: Nicolas Buduroi
Enhancement
Minor
Allow retraction of previously stated facts in a relation
Version: Unscheduled
Assignee: David Nolen
Defect
Minor
Defect
Major
nonrel/lvar -> nonrel/lvaro, nonrel/nonlvar -> nonrel/nonlvaro
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
no way to unify the first of a seq to one lvar and the rest to another
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
Defect
Major
Disequality Constraints - lvar remains fresh if we have disequality constraint that involves lcons
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
clojure.core.logic namespace instead of clojure.core.logic.minikanren + prelude
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
Defect
Major
Defect
Major
Defect
Major
Generate a better error when adding facts for arities that do not exist
Version: Unscheduled
Assignee: David Nolen
Defect
Major