login

Availability::- use_module(library(clpfd)).
all_distinct(+Ls)
Like all_different/1, with stronger propagation. For example, all_distinct/1 can detect that not all variables can assume distinct values given the following domains:
?- maplist(in, V,
           [1\/3..4, 1..2\/4, 1..2\/4, 1..3, 1..3, 1..6]),
   all_distinct(V).
false.