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