[ 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