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 permalink
0.8.4-SNAPSHOT
A logic/relational programming library for Clojure
See
for copyright and license details.
*
*
*c
*c-guard
*locals*
*locals*
+
!=
!=
!=c
!=c
!dcg?
+
+c
+c-guard
-
-->
-->e
->AnswerCache
->Choice
->ConstraintStore
->FiniteDomain
->IntervalFD
->LCons
->LVar
->MultiIntervalFD
->Nom
->PMap
->Pair
->Rel
->SubstValue
->Substitutions
->SuspendedStream
->Tie
->answer
->cols
->fd
->feature
->lcons
->rows
->squares
-add
-cached?
-constrain-tree
-distinct
-distinctc
-domc
-feature
-featurec
-fixc
-force-ans
-id
-inc
-inc
-merge-doms
-predc
-reify
-reify*
-reify-tabled
-relevant-var?
-relevant?
-run
-suspc
-unify*
-uninitialized
-with-id
<
<
<=
<=
<=c
=
==
==
==
==c
>
>
>=
>=
a
a-sym
add-attr
add-dom
add-indexes
add-var
addc
addcg
all
all
all-blank?
all-connected-to-allo
annotate
answer-cache
appendo
apply-to-helper
arity-exc-helper
assoc-dom
assoc-meta
b
bind
bind*
bind*
bind-conde-clause
bind-conde-clauses
bindable?
binops
binops->fd
bounded-listo
bounds
build
build-term
c
cgoal
checko
choice
composeg
composeg*
cond-clauses
conda
conda
conde
conde
condu
condu
connected
connected-to-allo
connected_2-set
connected_2-x-index
connected_2-y-index
conso
constrain-tree
constraints-for
contains-lvar?
copy-term
count-clauses
cryptarithfd-1
cryptarithfd-2
d
def-->
def-->e
def-apply-to-helper
def-arity-exc-helper
defna
defna
defnc
defne
defne
defnm
defnm
defnu
defnu
defrel
difference
difference*
difference-with
digito
dinesmanfd
disjoint?
disjoint?*
dissoc-dom
dissoc-meta
distinct
distinctc
distincto
distribute
disunify
disunify-terms
do-send-moolao
dom
domain
domain?
domc
drop-before
drop-one
e
empty-f
empty-s
emptyo
enforce-constraints
enforceable-constrained
enforceable?
entangle
env-locals
env-locals
eq
eq*
eq-form
everyg
ex
ex*
expand
ext
ext-dom-fd
ext-no-check
ext-run-cs
ext-run-csg
extend-rel
extend-to-fd
extract-vars
f
f-sym
fact
facts
fail
featurec
finite-domain?
first-digito
firsto
fix-constraints
fixc
fk
fnc
force-ans
fresh
fresh
fresh
fresh-expr?
fresh-expr?
g
get-attr
get-dom
get-dom
get-dom-fd
get-square
ground-term?
h
handle-cclause
handle-clause
handle-clauses
handle-clauses
hash
i
IAnswerCache
IBind
IBuildTerm
IConstrainTree
IConstraintId
IConstraintOp
IConstraintStore
IConstraintWatchedStores
IDisunifyTerms
IFeature
IFiniteDomain
IForceAnswerTerm
IIfA
IIfU
IInterval
IIntervals
IMPlus
IMemberCount
IMergeDomains
INomSwap
IOccursCheckTerm
IPrefix
IReifiableConstraint
IReifyTerm
IRel
IRelevant
IRelevantVar
IRunnable
ISet
ISortedDomain
ISubstitutions
ISubstitutionsCLP
ISuspendedStream
ITabled
ITake
IUnifyTerms
IUnifyWithPMap
IUnifyWithRecord
IUninitialized
IUnwrapConstraint
IWalkTerm
IWithConstraintId
IWithPrefix
id
ifa
ifa*
ifa*
ifu
ifu*
ifu*
in
indexes-for
init
init-s
intersection
intersection*
interval
interval-<
interval-<=
interval->
interval->=
interval?
intervals
irelevant?
is
is
k
keep-before
l
LConsPrint
LConsSeq
lazy-run
lazy-run*
lb
lcons
lcons-p?
lcons?
let-dom
lfirst
list-sorted?
llist
llist
lnext
log
log
lsym
lvar
lvar-bind
lvar-binds
lvar-sym?
lvar?
lvaro
lvaro
lvars
m
make-cs
make-suspended-stream
map->PMap
map->SubstValue
map->SuspendedStream
map->Tie
map-sum
mark-clauses
master
matcha
matcha
matche
matche
matches
matchu
matchu
member-count
member?
membero
merge-doms
merge-with-root
migrate
moveo
mplus
mplus*
mplus*
multi-interval
n
name-with-attributes
nexto
nilo
nom
nom-swap
nom?
non-storable?
nonlvaro
nonlvaro
normalize-intervals
normalize-store
not-adjacento
nrevo
o
occurs-check
occurs-check-term
onceo
p
p->llist
pair
partial-map
partial-map?
partitiono
permuteo
pred
pred
predc
prefix
prep
print-solution
process-dom
project
project
project-binding
project-bindings
q
qsorto
queue
queue-constraint
queue-constraints
quot
r
RelHelper
rands
rator
ready?
record?
recover-vars
recover-vars-from-term
reifiable?
reify-constraints
reify-lvar-name
reify-tabled
reify-term
reifyc
reifyg
relevant?
rem-attr
rem-dom
rembero
remc
remcg
resolve-storable-dom
resto
retraction
retractions
reuse
righto
root-val
root-var
run
run
run*
run*
run-constraint
run-constraints
run-constraints*
run-nc
run-nc
run-nc*
run-nc*
runc
runcg
runnable?
s
s#
safefd
send-money-quicklyo
seqc
setfn
simple-fd-eq
simplefd
singleton-dom?
small-sudokufd
solutions
solve
sort-by-member-count
sort-by-strategy
sort-dwellers
sorted-set->domain
stopcg
subchecko
subst-val
subst-val?
subst?
subunify
succeed
sudokufd
suspc
suspended-stream?
swap-noms
sync-eset
t
tabled
tabled-s
take*
takeouto
tie
tie?
to-s
to-stream
to-subst-val
to-vals
toShortString
trace-lvar
trace-lvar
trace-lvars
trace-lvars
trace-s
trace-s
tree-constraint?
tree-term?
treec
u
u#
uai
ub
umi
unbound-names
unbound-rands
unifier
unifier*
unify
unify
unify*
unify-terms
unify-with-domain*
unify-with-map*
unify-with-pmap
unify-with-pmap*
unify-with-record
unify-with-sequential*
unwrap
update-dom
update-eset
update-pvars!
update-var
update-var-dom
updatec
updatecg
v
var-rands
verify
verify-all-bound
w
waiting-stream-check
waiting-stream?
walk
walk*
walk-record-term
walk-term
warn
watched-stores
with-id
with-prefix
z
zebrao