[ library(m_map) | Reference Manual | Alphabetic Index ]

# member(+Map, ?Key, ?Value)

Succeeds if Key and Value unify with a key/value pair from Map.

Map
  A map
Key
  A key from Map
Value
  The value in Map corresponding to Key

## Description

Tries to unify Key and Value with key/value pairs from the map Map.

If Key and Value are variables and Map is a map, then all members of the map Map are found on backtracking.

This predicate should only be called with maps created by other predicates from the map module.

### Fail Conditions

Fails if Key and Value do not unify with a key/value pair from Map.

### Resatisfiable

yes

## See Also

search / 3, lookup / 3