0.8.4-SNAPSHOT
permalink
- (== u v)
0 Examples top
See Also top
Source
clojure/core/logic.clj:1130
top
(defn ==
"A goal that attempts to unify terms u and v."
[u v]
(fn [a]
(let [has-cs? (pos? (count (:cs a)))]
(let [ap (unify (if has-cs? (assoc a :vs []) a) u v)
vs (if has-cs? (:vs ap))
changed? (pos? (count vs))]
(if changed?
((run-constraints* vs (:cs ap) ::subst) (assoc ap :vs nil))
ap)))))
Vars in clojure.core.logic/==:
Used in 0 other vars
Comments top
No comments for ==. Log in to add a comment.