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

# search(+Tree, ++Key, ?Value)

Search a tree for a key.

Tree
  A 2-3-4 tree
Key
  A key to search for
Value
  The value corresponding to Key

## Description

This predicate searches the tree Tree for an entry with key Key. If the key is found, then it attempts to unify the corresponding value with Value.

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

### Fail Conditions

Fails if Key does not appear in Tree or if Value does not unify with the corresponding value found.

### Resatisfiable

no

## See Also

member / 3, lookup / 3