0.8.4-SNAPSHOT Arrow_down_16x16
  • (unify s u v)

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.clj:221 top

(defn unify [s u v]
  (if (identical? u v)
    s
    (let [u  (walk s u)
          v  (walk s v)]
      ;; TODO: we can't use an identical? check here at the moment
      ;; because we add metadata on vars in walk - David
      (if (and (lvar? u) (= u v))
        s
        (if (and (not (lvar? u)) (lvar? v))
          (unify-terms v u s)
          (unify-terms u v s))))))
Vars in clojure.core.logic/unify:
Used in 0 other vars

Comments top

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