0.8.4-SNAPSHOT Arrow_down_16x16
  • (!= u v)
Disequality constraint. Ensures that u and v will never
unify. u and v can be complex terms.

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: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.