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

   Search a map for a key.

Arguments
   Map                 A map
   Key                 A key to search for
   Value               The value corresponding to Key

Type
   library(m_map)

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.  If the key is not found, then it aborts with
	a runtime error.
	
	
	This predicate should only be called with maps created by other
	predicates from the map module.
	
	

Fail Conditions
   Fails if Value does not unify with the value corresponding to Key.

Resatisfiable
   no

See Also
   member / 3, search / 3
