shift more attention to all_distinct/1
shift more attention to all_distinct/1

The point is: all_different/1 is sometimes (comparatively slightly)
faster than all_distinct/1. However, in cases where all_distinct/1 is
faster, it is often vastly more so. all_distinct/1 is therefore often
preferable in CLP(FD) tasks.

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel