[ library(m_tree234) | Reference Manual | Alphabetic Index ]

delete(+Tree0, ++Key, -Tree)

Delete a key/value pair from a tree.
Tree0
A 2-3-4 tree
Key
The key to delete
Tree
The tree after deletion

Description

If the key Key appears in the tree Tree0, then remove it and its corresponding value, resulting in the tree Tree. If the key Key does not appear, Tree is simply bound to Tree0.

This predicate should only be called with trees created by other predicates from the tree234 module.

Fail Conditions

Never fails.

Resatisfiable

no

See Also

remove / 4