Liking cljdoc? Tell your friends :D
clojure.core.logic
- !=
- !=c
- *locals*
- *logic-dbs*
- -conjo
- -featurec
- -fixc
- -fnm
- -inc
- -nafc
- -predc
- -reify
- -reify*
- -run
- ==
- add-attr
- add-dom
- add-var
- addcg
- all
- and*
- annotate
- answer-cache
- appendo
- assoc-dom
- assoc-meta
- bind*
- bindable?
- build
- cgoal
- choice
- composeg
- composeg*
- conda
- conde
- condu
- conjo
- conso
- constrain-tree
- copy-term
- defna
- defnc
- defne
- defnm
- defnu
- dissoc-dom
- dissoc-meta
- distincto
- distribute
- disunify
- empty-f
- empty-s
- emptyo
- enforce-constraints
- enforceable-constrained
- entailed?
- entangle
- env-locals
- everyg
- ext
- ext-run-csg
- fail
- featurec
- firsto
- fix-constraints
- fixc
- fk
- fna
- fnc
- fne
- fnm
- fnu
- force-ans
- fresh
- get-attr
- get-dom
- get-dom-fd
- ground-term?
- ientailed?
- ifa*
- ifu*
- is
- lcons
- lcons?
- let-dom
- llist
- log
- lvar
- lvar?
- lvaro
- lvars
- make-cs
- make-suspended-stream
- master
- matcha
- matche
- matchu
- member1o
- membero
- merge-doms
- merge-with-root
- mplus*
- nafc
- nilo
- nonlvaro
- normalize-store
- occurs-check
- onceo
- or*
- pair
- partial-map
- partial-map?
- permuteo
- pred
- predc
- project
- recover-vars
- recover-vars-from-term
- reify-constraints
- reify-lvar-name
- reifyg
- rem-attr
- rem-dom
- rembero
- remcg
- resto
- run
- run*
- run-constraint
- run-constraints
- run-constraints*
- run-db
- run-db*
- run-nc
- run-nc*
- runcg
- s#
- seqc
- solutions
- sort-by-member-count
- sort-by-strategy
- stopcg
- subst-val
- subst-val?
- subst?
- succeed
- suspended-stream?
- sync-eset
- tabled
- tabled-s
- to-s
- to-stream
- to-subst-val
- trace-lvar
- trace-lvars
- trace-s
- tramp
- tree-term?
- treec
- u#
- uai
- umi
- unbound-names
- unbound-rands
- unify
- unify-with-map*
- unify-with-pmap*
- unify-with-sequential*
- update-dom
- update-eset
- update-pvars!
- updatecg
- var-rands
- verify-all-bound
- waiting-stream-check
- waiting-stream?
- walk*
- walk-record-term
clojure.core.logic.bench
- ->answer
- ->cols
- ->rows
- ->squares
- all-connected-to-allo
- checko
- connected
- connected-db
- connected-to-allo
- cryptarithfd-1
- cryptarithfd-2
- digito
- dinesmanfd
- do-send-moolao
- first-digito
- get-square
- init
- magic
- magic-cols
- magic-diag
- magic-grid
- magic-sum
- matches
- moveo
- nexto
- not-adjacento
- nrevo
- partitiono
- print-solution
- qsorto
- righto
- safefd
- send-money-quicklyo
- simple-fd-eq
- simplefd
- small-sudokufd
- sort-dwellers
- subchecko
- sudokufd
- takeouto
- verify
- zebrao
clojure.core.logic.fd
- !=
- !=c
- *
- *c
- +
- +c
- -
- ->fd
- -distinct
- -distinctc
- -domc
- <
- <=
- <=c
- ==
- ==c
- >
- >=
- binops
- binops->fd
- bounded-listo
- bounds
- difference*
- disjoint?*
- distinct
- distinctc
- dom
- domain
- domc
- eq
- eq*
- eq-form
- expand
- ext-dom-fd
- extend-to-fd
- finite-domain?
- get-dom
- IInterval
- IIntervals
- in
- intersection*
- interval
- interval-<
- interval-<=
- interval->
- interval->=
- interval?
- ISet
- ISortedDomain
- list-sorted?
- map-sum
- multi-interval
- normalize-intervals
- process-dom
- quot
- resolve-storable-dom
- singleton-dom?
- sorted-set->domain
- to-vals
- unify-with-domain*
clojure.core.logic.protocols
- enforceable?
- IAnswerCache
- IBind
- IBuildTerm
- IConstraintId
- IConstraintOp
- IConstrainTree
- IConstraintStep
- IConstraintStore
- IConstraintWatchedStores
- id
- IDisunifyTerms
- IEntailed
- IEntailedVar
- IFeature
- IForceAnswerTerm
- IIfA
- IIfU
- IJonc
- IMemberCount
- IMergeDomains
- IMPlus
- IOccursCheckTerm
- IPrefix
- IReifiableConstraint
- IReifyTerm
- IRel
- IRunnable
- ISubstitutions
- ISubstitutionsCLP
- ISuspendedStream
- ITabled
- ITake
- IUnifyTerms
- IUnifyWithPMap
- IUnifyWithRecord
- IUninitialized
- IUnwrapConstraint
- IVerifyConstraint
- IWalkTerm
- IWithConstraintId
- IWithPrefix
- LConsPrint
- LConsSeq
- non-storable?
- reifiable?
- tree-constraint?
- with-id
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close