[ 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