
values(+Map, -ValueList)

   Return all the values from a map.

Arguments
   Map                 A map
   ValueList           A list of all the values from Map

Type
   library(m_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
