[ library(m_map) | Reference Manual | Alphabetic Index ]
select(+Map0, ++KeyList, -Map)
Creates a new map containing just those entries corresponding to a given list of keys.
- Map0
- A map
- KeyList
- A list of keys to select
- Map
- The resulting map
Description
The map Map contains the key/value pairs from the map Map0 where
the key appears in the list KeyList. Keys in KeyList which do not
appear in Map0 are ignored.
This predicate should only be called with maps created by other
predicates from the map module.
Fail Conditions
Never fails.
Resatisfiable
no