quick ref
github
login / sign up
Core.Logic Docs
(beta)
org.clojure/core.logic
Namespaces
cljs.core.logic.macros
clojure.core.logic
arithmetic
bench
dcg
fd
nominal
protocols
unifier
0.8.4-SNAPSHOT
0.8.4-SNAPSHOT permalink
Vars in clojure.core.logic.protocols
+
-add
-cached?
-constrain-tree
-feature
-force-ans
-id
-merge-doms
-reify-tabled
-relevant-var?
-relevant?
-uninitialized
-with-id
i
IAnswerCache
IBind
IBuildTerm
IConstrainTree
IConstraintId
IConstraintOp
IConstraintStore
IConstraintWatchedStores
IDisunifyTerms
IFeature
IForceAnswerTerm
IIfA
IIfU
IMPlus
IMemberCount
IMergeDomains
IOccursCheckTerm
IPrefix
IReifiableConstraint
IReifyTerm
IRel
IRelevant
IRelevantVar
IRunnable
ISubstitutions
ISubstitutionsCLP
ISuspendedStream
ITabled
ITake
IUnifyTerms
IUnifyWithPMap
IUnifyWithRecord
IUninitialized
IUnwrapConstraint
IWalkTerm
IWithConstraintId
IWithPrefix
id
ifa
ifu
indexes-for
l
LConsPrint
LConsSeq
lfirst
lnext
a
add-indexes
addc
b
bind
build-term
c
constraints-for
d
disunify-terms
e
enforceable?
ext-no-check
ext-run-cs
m
member-count
migrate
mplus
n
non-storable?
o
occurs-check-term
p
prefix
q
queue
r
rands
rator
ready?
reifiable?
reify-tabled
reify-term
reifyc
remc
reuse
root-val
root-var
runc
runnable?
s
setfn
subunify
t
take*
toShortString
tree-constraint?
u
unify-terms
unify-with-pmap
unify-with-record
unwrap
update-var
updatec
w
walk
walk-term
watched-stores
with-id
with-prefix