0.8.4-SNAPSHOT Arrow_down_16x16
  • (== u v)
A goal that attempts to unify terms u and 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 cljs/core/logic/macros.clj:40 top

(defmacro ==
  "A goal that attempts to unify terms u and v."
  [u v]
  `(fn [a#]
     (if-let [b# (cljs.core.logic/-unify a# ~u ~v)]
       b# (cljs.core.logic/fail a#))))
Vars in cljs.core.logic.macros/==:
Used in 0 other vars

Comments top

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