[ 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