Agile Development
  • To Do
  • Done

To Do

In Progress

Done

  • 8 issues
Enhancement
Trivial
Added usage section to readme.md
Version: Unscheduled
Assignee: David Nolen
Defect
Major
Generate a better error when adding facts for arities that do not exist
Version: Unscheduled
Assignee: David Nolen
Defect
Major
defrel cannot be called inside function
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
Add persistent memory tables
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
Core.logic equivalent of multimethods
Version: Unscheduled
Assignee: David Nolen
Defect
Major
Unification bug in binding-map
Version: Unscheduled
Assignee: David Nolen
Defect
Major
The facts and retractions functions do not take the relation's namespace into account when resolving the index.
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
Logic Threading Macro
Version: Unscheduled
Assignee: David Nolen
  • 30 issues
Task
Trivial
Add documentation strings to stable functions
Version: Unscheduled
Assignee: David Nolen
Enhancement
Trivial
Improved warnings/errors for pattern matching
Version: Unscheduled
Assignee: David Nolen
Enhancement
Trivial
Typo in docstring
Version: Unscheduled
Assignee: David Nolen
Enhancement
Minor
Provide more convenient syntax for defining a series of facts
Version: Unscheduled
Assignee: David Nolen
Enhancement
Minor
Don't use extend-type on Substitutions LVar or LCons
Version: Unscheduled
Assignee: David Nolen
Defect
Minor
defne and variants should support docstring
Version: Unscheduled
Assignee: David Nolen
Enhancement
Minor
Improved docstrings for relations
Version: Unscheduled
Assignee: David Nolen
Enhancement
Minor
Add print goal
Version: Unscheduled
Assignee: David Nolen
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
Unification should carry along metadata
Version: Unscheduled
Assignee: David Nolen
Defect
Major
Tabling bug
Version: Unscheduled
Assignee: David Nolen
Defect
Major
nonrel/lvar -> nonrel/lvaro, nonrel/nonlvar -> nonrel/nonlvaro
Version: Unscheduled
Assignee: David Nolen
Defect
Major
cannot unify an lcons currently
Version: Unscheduled
Assignee: David Nolen