[ library(m_map) | Reference Manual | Alphabetic Index ]
sorted_keys(+Map, -KeyList)
Return all the keys from a map, in sorted order.
- Map
- A map
- KeyList
- A list of all the keys from Map
Description
KeyList is a list of all the keys appearing in the map Map, in
sorted order.
This predicate should only be called with maps created by other
predicates from the map module.
Fail Conditions
Never fails.
Resatisfiable
no
See Also
keys / 2, values / 2