[ library(m_map) | Third Party Libraries | 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