[ 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