0.8.4-SNAPSHOT Arrow_down_16x16
  • (ext s u 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 clojure/core/logic.clj:205 top

(defn ext [s u v]
  (if (and (:oc s) (occurs-check s u (if (subst-val? v) (:v v) v)))
    nil
    (ext-no-check s u v)))
Vars in clojure.core.logic/ext:
Used in 0 other vars

Comments top

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