0.8.4-SNAPSHOT Arrow_down_16x16
  • (unify* ts)
  • (unify* opts ts)
Unify the terms ts.

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:109 top

(defn unify*
  "Unify the terms ts."
  ([ts] (unify* {} ts))
  ([opts ts]
     (let [init-s (init-s opts empty-s)]
       (-unify*
         (vary-meta init-s assoc :reify-vars false)
         (reduce #(-unify* init-s %1 %2) (butlast ts))
         (last 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.