<< Back to previous view

Clojure JIRA


core.logic
Open
Sorted by: Priority descending


Displaying issues 1 to 27 of 27 matching issues. as at: 18/May/13 12:38 PM  
T Key Summary Assignee Reporter P Status Resolution Created Updated Due
Defect LOGIC-47 is macro needs to be improved David Nolen David Nolen Major Open Open Unresolved  
Enhancement LOGIC-38 Logic Threading Macro David Nolen Jason Jackson Major Open Open Unresolved  
Enhancement LOGIC-89 Allow application again in pattern matches David Nolen David Nolen Major Open Open Unresolved  
Defect LOGIC-68 add Prolog meta-logical predicates bagof, setof, findall David Nolen David Nolen Major Open Open Unresolved  
Defect LOGIC-119 tie disequality David Nolen Nada Amin Major Open Open Unresolved  
Defect LOGIC-118 prep does not make lvar of ?x if ?x is in a vector David Nolen Jonas Enlund Major Open Open Unresolved  
Enhancement LOGIC-30 Add persistent memory tables David Nolen Brian Goslinga Major Open Open Unresolved  
Defect LOGIC-114 stack overflow with conda/u David Nolen Austin Haas Major Open Open Unresolved  
Defect LOGIC-117 one-shot constraints with multiple rands may run more than once David Nolen Nada Amin Major Open Open Unresolved  
Enhancement LOGIC-128 add mod/rem/abs/min/max David Nolen David Nolen Major Open Open Unresolved  
Defect LOGIC-133 Add label goal David Nolen David Nolen Major Open Open Unresolved  
Enhancement LOGIC-136 Make benchmark suite as easy to run as `lein test` David Nolen Austin Haas Major Open Open Unresolved  
Defect LOGIC-137 OOM when setting (interval 1 2) for 20 logic vars David Nolen Gary Fredericks Major Open Open Unresolved  
Enhancement LOGIC-43 LVar should print readably David Nolen Alan Malloy Minor Open Open Unresolved  
Enhancement LOGIC-87 Decomplect the narrowing of the constraint space from the search order David Nolen Jamie Brandon Minor Open Open Unresolved  
Enhancement LOGIC-35 Core.logic equivalent of multimethods David Nolen Gabriel Pickard Minor Open Open Unresolved  
Defect LOGIC-86 make `defc` more useful David Nolen David Nolen Minor Open Open Unresolved  
Enhancement LOGIC-70 support for defaults in the simple unifier David Nolen David Nolen Minor Open Open Unresolved  
Defect LOGIC-26 Generate a better error when adding facts for arities that do not exist David Nolen David Nolen Minor Open Open Unresolved  
Defect LOGIC-28 defrel cannot be called inside function David Nolen Jason Jackson Minor Open Open Unresolved  
Enhancement LOGIC-44 ex* could expand macros in patterns David Nolen Joe Osborn Minor Open Open Unresolved  
Enhancement LOGIC-123 Allow unification with sequential in both directions David Nolen Mike Anderson Minor Open Open Unresolved  
Defect LOGIC-129 matcha/matchu are not faithful to the semantics of conda/condu David Nolen Austin Haas Minor Open Open Unresolved  
Defect LOGIC-130 StackOverFlowError when walking over set David Nolen Coen De Roover Minor Open Open Unresolved  
Enhancement LOGIC-80 add fne, anonymous version of defne David Nolen David Nolen Minor Open Open Unresolved  
Defect LOGIC-48 fd/in should provide a default domain if none specified David Nolen David Nolen Minor Open Open Unresolved  
Defect LOGIC-96 relevant-var? logic incorrectly discards a vars constraint set David Nolen David Nolen Trivial Open Open Unresolved