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