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

binding-map clj

(binding-map u w)

binding-map* clj

(binding-map* u w)

lcons-expr? clj

(lcons-expr? expr)

lvarq-sym? clj

(lvarq-sym? s)

prep clj

(prep expr)

prep* clj

(prep* expr store)

(prep* expr store lcons?)

(prep* expr store lcons? last?)

proc-lvar clj

(proc-lvar lvar-expr store)

rem-? clj

(rem-? s)

replace-lvar clj

(replace-lvar store)

unifier clj

(unifier u w)

unifier* clj

(unifier* u w)