clojure.core.logic.minikanren — core.logic 0.6.1-SNAPSHOT

*occurs-check* clj

== clj macro

(== u v)

all clj macro

(all)

(all & g-rest)

bind* clj macro

(bind* a g)

(bind* a g & g-rest)

bind-conde-clause clj

(bind-conde-clause a)

bind-conde-clauses clj

(bind-conde-clauses a clauses)

build-term clj

choice clj

(choice a f)

conde clj macro

(conde & clauses)

empty-s clj

exist clj macro

(exist [& x-rest] & g-rest)

fail clj

(fail a)

IBind clj protocol

bind clj

(bind this g)

IBuildTerm clj protocol

ILVar clj protocol

add-constraint clj

(add-constraint this c)

add-constraints clj

(add-constraints this ds)

constraints clj

(constraints this)

remove-constraint clj

(remove-constraint this c)

remove-constraints clj

(remove-constraints this)

IMPlus clj protocol

mplus clj

(mplus a f)

inc clj macro

(inc & rest)

IOccursCheckTerm clj protocol

IPair clj protocol

lhs clj

(lhs this)

rhs clj

(rhs this)

IReifyTerm clj protocol

ISubstitutions clj protocol

constrain clj

(constrain this u c)

ext-no-check clj

(ext-no-check this u v)

reify-lvar-name clj

(reify-lvar-name _)

unify clj

(unify this u v)

ext clj

(ext this u v)

walk clj

(walk this v)

-reify clj

(-reify this v)

use-verify clj

(use-verify this f)

get-var clj

(get-var this v)

walk* clj

(walk* this v)

reify clj

(reify this v)

occurs-check clj

(occurs-check this u v)

walk-var clj

(walk-var this v)

build clj

(build this u)

swap clj

(swap this cu)

length clj

(length this)

ITake clj protocol

take* clj

(take* a)

IUnifyTerms clj protocol

IUnifyWithLSeq clj protocol

unify-with-lseq clj

(unify-with-lseq v u s)

IUnifyWithLVar clj protocol

unify-with-lvar clj

(unify-with-lvar v u s)

IUnifyWithMap clj protocol

unify-with-map clj

(unify-with-map v u s)

IUnifyWithNil clj protocol

unify-with-nil clj

(unify-with-nil v u s)

IUnifyWithObject clj protocol

unify-with-object clj

(unify-with-object v u s)

IUnifyWithSequential clj protocol

unify-with-seq clj

(unify-with-seq v u s)

IUnifyWithSet clj protocol

unify-with-set clj

(unify-with-set v u s)

IWalkTerm clj protocol

lazy-run clj macro

(lazy-run & [n & rest])

lazy-run* clj macro

(lazy-run* & rest)

lcons clj

(lcons a d)

lcons? clj

(lcons? x)

LConsPrint clj protocol

toShortString clj

(toShortString this)

LConsSeq clj protocol

lfirst clj

(lfirst this)

lnext clj

(lnext this)

llist clj macro

(llist f s)

(llist f s & rest)

log clj macro

(log s)

lvar clj

(lvar)

(lvar name)

(lvar name cs)

lvar-bind clj

(lvar-bind sym)

lvar-binds clj

(lvar-binds syms)

lvar? clj

(lvar? x)

make-s clj

(make-s m l)

(make-s m l f)

(make-s m l f cs)

mplus* clj macro

(mplus* e)

(mplus* e & e-rest)

occurs-check-term clj

pair clj

pass-verify clj

(pass-verify s u v)

reify-term clj

run clj macro

(run n & rest)

run* clj macro

(run* & rest)

run-nc clj macro

(run-nc & [n & rest])

run-nc* clj macro

(run-nc* & rest)

s# clj

solve clj macro

(solve & [n [x] & g-rest])

subst? clj

(subst? x)

succeed clj

(succeed a)

sym->lvar clj

(sym->lvar sym)

to-s clj

(to-s v)

trace-lvar clj

(trace-lvar a lvar)

trace-lvars clj macro

(trace-lvars title & lvars)

trace-s clj macro

(trace-s)

u# clj

uai clj macro

(uai & args)

umi clj macro

(umi & args)

unbound clj

unify-terms clj

walk-term clj