-distinct
added
ns
clojure.core.logic.fd
type
function
(-distinct x y* n*)