 |
LOGIC-130
|
StackOverFlowError when walking over set
|
David Nolen
|
Coen De Roover
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-129
|
matcha/matchu are not faithful to the semantics of conda/condu
|
David Nolen
|
Austin Haas
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-123
|
Allow unification with sequential in both directions
|
David Nolen
|
Mike Anderson
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-87
|
Decomplect the narrowing of the constraint space from the search order
|
David Nolen
|
Jamie Brandon
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-86
|
make `defc` more useful
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-80
|
add fne, anonymous version of defne
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-70
|
support for defaults in the simple unifier
|
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-44
|
ex* could expand macros in patterns
|
David Nolen
|
Joe Osborn
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-43
|
LVar should print readably
|
David Nolen
|
Alan Malloy
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-35
|
Core.logic equivalent of multimethods
|
David Nolen
|
Gabriel Pickard
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-28
|
defrel cannot be called inside function
|
David Nolen
|
Jason Jackson
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-26
|
Generate a better error when adding facts for arities that do not exist
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|