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