quick ref   github     login / sign up

Core.Logic Docs(beta)

org.clojure/core.logic

Namespaces

 
0.8.4-SNAPSHOT Arrow_down_16x16

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
 
Core.Logic Docs uses some elements of HTML5 / CSS3, and is best viewed in an up-to-date gecko / webkit -based browser.

© 2010 Zachary Kim http://zacharykim.com 2012 - Updated to Core.Logic by Xavier Riley http://www.xavierriley.co.uk