/usr/lib/swipl/library/ordsets.pl
All Application Manual Name SummaryHelp

 list_to_ord_set(+List, -OrdSet) is det
Transform a list into an ordered set. This is the same as sorting the list.
ClioPatria (version V3.1.1-59-g7b9a7a3)