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