0.8.4-SNAPSHOT Arrow_down_16x16

unify-with-map*

clojure.core.logic

  • (unify-with-map* u v s)

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:883 top

(defn unify-with-map* [u v s]
  (when (= (count u) (count v))
    (loop [ks (keys u) s s]
      (if (seq ks)
        (let [kf (first ks)
              vf (get v kf ::not-found)]
          (when-not (= vf ::not-found)
            (if-let [s (unify s (get u kf) vf)]
              (recur (next ks) s)
              nil)))
        s))))
Vars in clojure.core.logic/unify-with-map*:
Used in 0 other vars

Comments top

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