distincto
added
ns
clojure.core.logic
type
function
(distincto l)
A relation which guarantees no element of l will unify with another element of l.