unify-with-sequential*
added
ns
clojure.core.logic
type
function
(unify-with-sequential* u v s)