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

ISuspendedStream clj protocol

ready? clj

(ready? this)

ITabled clj protocol

-reify-tabled clj

(-reify-tabled this v)

alpha-equiv? clj

(alpha-equiv? this x y)

reify-tabled clj

(reify-tabled this v)

reuse clj

(reuse this argv cache start end)

subunify clj

(subunify this arg ans)

make-ss clj

(make-ss cache ansv* f)

master clj

(master argv cache)

ss? clj

(ss? x)

table clj

(table goal)

tabled clj macro

(tabled args & grest)

to-w clj

(to-w s)

w-check clj

(w-check w sk fk)

w? clj

(w? x)