[ 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.