[ library(m_map) | Reference Manual | Alphabetic Index ]
apply_to_list(++KeyList, +Map, ?ValueList)
Map a list of keys to their corresponding values.
- KeyList
- A list of keys to map
- Map
- The map to apply
- ValueList
- The list of corresponding values
Description
	
	This predicate applies the map Map to a list of keys KeyList to
	produce the list of values ValueList; i.e. it maps a list of keys
	to their corresponding values.  If one of the keys in KeyList is
	not found in Map, then the predicate aborts witha runtime error.
	
	
	This predicate should only be called with maps created by other
	predicates from the map module.
	
	
Fail Conditions
Fails if ValueList does not unify with the list of values corresponding to KeyList.
Resatisfiable
no
See Also
lookup / 3