[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

list_to_ord_set(+List, -Set)

Converts a list to a set
List
A list of terms
Set
A set or variable

Description

Succeeds when Set is the ordered representation of the set represented by the unordered representation List. The only reason for giving it a name at all is that you may not have realised that sort/2 could be used this way.

Modes and Determinism

See Also

sort / 2