unify-with-map*

added

ns
clojure.core.logic

type
function

(unify-with-map* u v s)