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.