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

->sym clj

(->sym & args)

a-sym clj

apply-to-helper clj

(apply-to-helper ifn arglist)

arity-exc-helper clj

(arity-exc-helper name n)

conso clj

(conso a d l)

def-apply-to-helper clj macro

(def-apply-to-helper n)

def-arity-exc-helper clj macro

(def-arity-exc-helper)

defna clj macro

(defna & rest)

defne clj macro

(defne & rest)

defnu clj macro

(defnu & rest)

defrel clj macro

(defrel name & rest)

defrel-helper clj

(defrel-helper name arity args)

emptyo clj

(emptyo a)

extend-rel clj macro

(extend-rel name & args)

f-sym clj

fact clj

(fact rel & tuple)

facts clj

(facts rel [f :as tuples])

(facts rel arity tuples)

firsto clj

(firsto l a)

index-sym clj

(index-sym name arity o)

IRel clj protocol

add-indexes clj

(add-indexes this arity index)

indexes-for clj

(indexes-for this arity)

setfn clj

(setfn this arity f)

matcha clj macro

(matcha xs & cs)

matche clj macro

(matche xs & cs)

matchu clj macro

(matchu xs & cs)

membero clj

(membero x l)

nilo clj

(nilo a)

RelHelper clj macro

(RelHelper arity)

resto clj

(resto l d)

set-sym clj

(set-sym name arity)

sym-helper clj

(sym-helper prefix n)

to-stream clj

(to-stream aseq)