sort(+ L,- S) More...
sort(+ L,- S)
defined in the ISO standard
Unifies S with the list obtained by sorting L and merging identical (in the sense of ==) elements
==