sort/2

Synopsis

sort(+List1, -List2)

Sorts the elements of the list List1 into the ascending standard order, and removes any multiple occurrences of an element. The resulting sorted list is unified with the list List2.

Arguments

List1 list of term

List2 list of term

Examples

     | ?- sort([a,X,1,a(x),a,a(X)], L).
     L = [X,1,a,a(X),a(x)]
     

(The time taken to do this is at worst order (N log N) where N is the length of the list.)

Exceptions

instatiation error

List1 is not properly instantiated

type_error

List1 is not a proper list

See Also

keysort/2 ref-lte-cte-sor