0.8.4-SNAPSHOT Arrow_down_16x16
  • (disunify s u v)
  • (disunify s u v cs)

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

(defn disunify
  ([s u v] (disunify s u v {:prefixc {}}))
  ([s u v cs]
     (if (identical? u v)
       cs
       (let [u (walk s u)
             v (walk s v)]
         (if (identical? u v)
           cs
           (if (and (not (lvar? u)) (lvar? v))
             (disunify-terms v u s cs)
             (disunify-terms u v s cs)))))))
Vars in clojure.core.logic/disunify:
Used in 0 other vars

Comments top

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