[ 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