[ 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