You are currently using a new, unsaved search.
OOM when setting (interval 1 2) for 20 logic vars
Make benchmark suite as easy to run as `lein test`
Add label goal
add mod/rem/abs/min/max
tie disequality
prep does not make lvar of ?x if ?x is in a vector
one-shot constraints with multiple rands may run more than once
stack overflow with conda/u
StackOverflow for large `appendo`
Allow application again in pattern matches
add Prolog meta-logical predicates bagof, setof, findall
is macro needs to be improved
Logic Threading Macro
Add persistent memory tables
StackOverFlowError when walking over set
matcha/matchu are not faithful to the semantics of conda/condu
Allow unification with sequential in both directions
Decomplect the narrowing of the constraint space from the search order
make `defc` more useful
add fne, anonymous version of defne
support for defaults in the simple unifier
fd/in should provide a default domain if none specified
ex* could expand macros in patterns
LVar should print readably
Core.logic equivalent of multimethods
defrel cannot be called inside function
Generate a better error when adding facts for arities that do not exist
relevant-var? logic incorrectly discards a vars constraint set