sort(List, OrderedList) is true if and only if OrderedList is an ordered version of List according to the Standard Order of Terms. This predicate removes duplicate values in the OrderedList. To order without removing duplicate elements, see msort/2.