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