[ library(m_map) | Reference Manual | Alphabetic Index ]
delete(+Map0, ++Key, -Map)
Delete a key/value pair from a map.
- Map0
- A map
- Key
- The key to delete
- Map
- The map after deletion
Description
	
	If the key Key appears in the map Map0, then remove it and its
	corresponding value, resulting in the map Map.  If the key Key
	does not appear, Map is simply bound to Map0.
	
	
	This predicate should only be called with maps created by other
	predicates from the map module.
	
	
Fail Conditions
Never fails.
Resatisfiable
no
See Also
delete_list / 3, remove / 4