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