[ 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