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 |
Partial Maps | partial-map partial-map? featurec |
defnc | fnc defnc |
Predicate Constraing | predc |
Deep Constraint | seqc |
Basics | != distincto rembero |
Domains | clojure.core.logic.fd/domain clojure.core.logic.fd/dom clojure.core.logic.fd/domc clojure.core.logic.fd/in |
Interval | clojure.core.logic.fd/interval clojure.core.logic.fd/interval? |