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

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

Succeeds if Key and Value unify with a key/value pair from Tree.

Tree
  A 2-3-4 tree
Key
  A key from Tree
Value
  The value in Tree corresponding to Key

## Description

Tries to unify Key and Value with key/value pairs from the tree Tree.

If Key and Value are variables and Tree is a 2-3-4 tree, then all members of the tree Tree are found on backtracking.

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

### Fail Conditions

Fails if Key and Value do not unify with a key/value pair from Tree.

### Resatisfiable

yes

## See Also

search / 3, lookup / 3