
delete_list(+Map0, ++KeyList, -Map)

   Delete a list of key/value pairs from a map.

Arguments
   Map0                A map
   KeyList             A list of keys to delete
   Map                 The map after deletions

Type
   library(m_map)

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
