 |
LOGIC-137
|
OOM when setting (interval 1 2) for 20 logic vars
|
David Nolen
|
Gary Fredericks
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-136
|
Make benchmark suite as easy to run as `lein test`
|
David Nolen
|
Austin Haas
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-133
|
Add label goal
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-128
|
add mod/rem/abs/min/max
|
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-117
|
one-shot constraints with multiple rands may run more than once
|
David Nolen
|
Nada Amin
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-114
|
stack overflow with conda/u
|
David Nolen
|
Austin Haas
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-99
|
StackOverflow for large `appendo`
|
David Nolen
|
David Nolen
|
|
In Progress
|
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-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-30
|
Add persistent memory tables
|
David Nolen
|
Brian Goslinga
|
|
Open
|
Unresolved
|
|
|
|