[ 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