distinct

added

ns
clojure.core.logic.fd

type
function

(distinct v*)

A finite domain constraint that will guarantee that 
all vars that occur in v* will be unified with unique 
values. v* need not be ground. Any vars in v* should
eventually be given a domain.