Did you know ... Search Documentation:
Predicate all_different/1