[ 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