disunify

added

ns
clojure.core.logic

type
function

(disunify s u v) (disunify s u v cs)