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

Easy Unification

Unification

clojure.core.logic.unifier/prep clojure.core.logic.unifier/unify* clojure.core.logic.unifier/unifier* clojure.core.logic.unifier/unify clojure.core.logic.unifier/unifier

Helpfull clojure.core functions

clojure.core functions

seq list coll?

Constraint Logic Programming

CLP (Tree)

Basics

!= distincto rembero

CLP (FD)

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?

CLP Operators

Operators	clojure.core.logic.fd/== clojure.core.logic.fd/!= clojure.core.logic.fd/<= clojure.core.logic.fd/< clojure.core.logic.fd/>= clojure.core.logic.fd/> clojure.core.logic.fd/- clojure.core.logic.fd/+ clojure.core.logic.fd/*
Misc	clojure.core.logic.fd/distinct clojure.core.logic.fd/bounded-listo clojure.core.logic.fd/eq

Nominal unification

Nominal unification

clojure.core.logic.nominal/nom clojure.core.logic.nominal/nom? clojure.core.logic.nominal/fresh clojure.core.logic.nominal/hash clojure.core.logic.nominal/tie clojure.core.logic.nominal/tie?

Arithmetic

Operators

clojure.core.logic.arithmetic/= clojure.core.logic.arithmetic/> clojure.core.logic.arithmetic/>= clojure.core.logic.arithmetic/< clojure.core.logic.arithmetic/<=