0.8.4-SNAPSHOT Arrow_down_16x16

unify-with-pmap*

clojure.core.logic

  • (unify-with-pmap* 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:2589 top

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

Comments top

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