0.8.4-SNAPSHOT Arrow_down_16x16
  • (-unify* init-s u w)

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/unifier.clj:92 top

(defn -unify* [init-s u w]
  (first
    (take*
      (fn []
        ((fresh [q]
           (== u w) (== q u)
           (fn [a]
             (fix-constraints a))
           (reifyg q))
         init-s)))))
Vars in clojure.core.logic.unifier/-unify*:
Used in 0 other vars

Comments top

No comments for -unify*. Log in to add a comment.