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

search(+Map, ++Key, ?Value)

Search a map for a key.
Map
A map
Key
A key to search for
Value
The value corresponding to Key

Description

This predicate searches the map Map for an entry with key Key. If the key is found, then it attempts to unify the corresponding value with Value.

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

Fail Conditions

Fails if Key does not appear in Map or if Value does not unify with the corresponding value found.

Resatisfiable

no

See Also

member / 3, lookup / 3, inverse_search / 3