[ library(m_map) | Reference Manual | Alphabetic Index ]
delete_list(+Map0, ++KeyList, -Map)
Delete a list of key/value pairs from a map.
- Map0
- A map
- KeyList
- A list of keys to delete
- Map
- The map after deletions
Description
	
	This predicate takes a map Map0, and for each key in KeyList,
	calls delete/3 to delete the key and its corresponding
	value.  The result after all the deletions is the map Map.
	
	
	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 / 3, remove / 4