[ library(m_map) | Third Party Libraries | 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