clojure.core.logic.unifier — org.clojure/core.logic 1.1.0

-unify* clj

(-unify* init-s u w)

init-s clj

(init-s opts s)

prep clj

(prep expr)

Prep a quoted expression. All symbols preceded by ? will be replaced with logic vars.

queue-constraint clj

(queue-constraint s c vs)

queue-constraints clj

(queue-constraints s [vs cs])

unifier clj

(unifier ts)

(unifier opts ts)

Return the unifier for terms ts. Will prep the terms.

unifier* clj

(unifier* ts)

(unifier* opts ts)

Return the unifier that unifies terms ts. All terms in ts should prepped terms.

unify clj

(unify ts)

(unify opts ts)

Unify the terms ts returning a the value that represents their unificaiton. Will prep the terms.

unify* clj

(unify* ts)

(unify* opts ts)

Unify the terms ts.