0.8.4-SNAPSHOT Arrow_down_16x16
  • (unify ts)
  • (unify opts ts)
Unify the terms ts returning a the value that represents their
unificaiton. Will prep the terms.

0 Examples top

Log in to add / edit an example.

See Also top

Log in to add a see also.

Plus_12x12 Minus_12x12 Source clojure/core/logic/unifier.clj:135 top

(defn unify
  "Unify the terms ts returning a the value that represents their
   unificaiton. Will prep the terms."
  ([ts] (unify {} ts))
  ([opts ts]
     (let [opts (if (contains? opts :as)
                  (assoc opts :as
                    (->> (:as opts)
                      (map (fn [[k v]] [(lvar k false) (prep v)]))
                      (into {})))
                  opts)]
       (unify* opts (map prep ts)))))
Vars in clojure.core.logic.unifier/unify:
Used in 0 other vars

Comments top

No comments for unify. Log in to add a comment.