#### 11.3.213 `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, must be a proper list

`List2`- list of term

#### Exceptions

`instatiation_error`

`type_error`

`List1` is not a proper list

#### 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.)

#### See Also

ref-lte-cte-sor.

Send feedback on this subject.