
remove(+Map0, ++Key, ?Value, -Map)

   Remove a key/value pair from a map, failing if the key is not present.

Arguments
   Map0                A map
   Key                 The key to remove
   Value               The value corresponding to Key
   Map                 The map after removal

Type
   library(m_map)

Description
	
	If the key Key appears in the map Map0, then remove it and attempt
	to unify its corresponding value with Value.  Map is Map0 with the
	key removed.
	
	
	This predicate should only be called with maps created by other
	predicates from the map module.
	
	

Fail Conditions
   Fails is Key does not appear in Map0 or if Value does not unify with the corresponding value.

Resatisfiable
   no

See Also
   delete / 3, det_remove / 4, remove_smallest / 4
