Liking cljdoc? Tell your friends :D
cljs.core.logic
- *locals*
- *logic-dbs*
- -fnm
- -inc
- -run
- ==
- all
- all-blank?
- appendo
- assq
- bind*
- bind-conde-clause
- bind-conde-clauses
- binding-map
- binding-map*
- choice
- cond-clauses
- conda
- conde
- condu
- conso
- defna
- defne
- defnm
- defnu
- empty-s
- emptyo
- env-locals
- ex
- ex*
- extract-vars
- fail
- failed?
- firsto
- fna
- fne
- fnm
- fnu
- fresh
- fresh-expr?
- handle-clause
- handle-clauses
- IBind
- IBuildTerm
- ifa*
- ifu*
- IIfA
- IIfU
- IMPlus
- IOccursCheckTerm
- IReifyTerm
- is
- ISubstitutions
- ITake
- IUnifyTerms
- IUnifyWithLSeq
- IUnifyWithLVar
- IUnifyWithMap
- IUnifyWithNil
- IUnifyWithObject
- IUnifyWithPMap
- IUnifyWithSequential
- IWalkTerm
- lcons
- lcons-p?
- lcons-pr-seq
- lcons?
- LConsSeq
- llist
- log
- lvar
- lvar-bind
- lvar-binds
- lvar-sym-counter
- lvar-sym?
- lvar?
- lvaro
- make-s
- matcha
- matche
- matchu
- membero
- mplus
- mplus*
- name-with-attributes
- nilo
- nonlvaro
- not-found
- p->llist
- pair
- partial-map
- pred
- prefix
- prep
- project
- project-binding
- project-bindings
- resto
- run
- run*
- run-db
- run-db*
- run-nc
- run-nc*
- s#
- subst?
- succeed
- take*
- to-s
- to-stream
- trace-lvar
- trace-lvars
- trace-s
- u#
- unifier
- unifier*
- unify
- unify-with-map*
- walk-term-map*
- warn
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close