Logic

Syntax

Basics s# succeed u# fail == conde fresh all run run* run* run-nc run-nc*
Logic Variables lvar lvar? lvars
LCons lcons lcons? llist
Goals and Goal Constructors composeg composeg* bind* mplus* choice
Debugging log trace-s trace-lvars
Non-relational goals project pred is conda condu onceo copy-term lvaro nonlvaro
Useful goals nilo emptyo conso firsto resto everyg
Goal sugar syntax defne matche
More convenient goals membero appendo permuteo
Relations facts fact defrel difference-with retractions retraction

Misc

Partial Maps partial-map partial-map? featurec
defnc fnc defnc
Predicate Constraing predc
Deep Constraint seqc

Helpfull clojure.core functions

clojure.core functions seq list coll?