[ 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