Disequality constraint. Ensures that u and v will never
unify. u and v can be complex terms.
0.8.4-SNAPSHOT
permalink
- (!= u v)
0 Examples top
See Also top
Source
clojure/core/logic.clj:2552
top
(defn !=
"Disequality constraint. Ensures that u and v will never
unify. u and v can be complex terms."
[u v]
(fn [a]
(let [cs (disunify a u v)]
(if-not (nil? cs)
(let [p (:prefixc cs)]
(when-not (empty? p)
(if (some (fn [[u v]] (nil? (unify a u v))) p)
a
((cgoal (!=c p)) a))))
a))))
Vars in clojure.core.logic/!=:
Used in 0 other vars
Comments top
No comments for !=. Log in to add a comment.