all_distinct/1

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.