[ library(m_map) | Reference Manual | Alphabetic Index ]
inverse_search(+Map, ?Value, ?Key)
Search a map for a value.
- Map
- A map
- Value
- A value to search for
- Key
- A key corresponding to Value
Description
This predicate searches the map Map for value entries which unify
with Value. If such a value is found, then it attempts to unify the
corresponding key with Key.
This predicate should only be called with maps created by other
predicates from the map module.
Fail Conditions
Fails if Value does not appear in Map or if Key does not unify with any corresponding keys found.
Resatisfiable
yes
See Also
search / 3, member / 3