
member(+Tree, ?Key, ?Value)

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

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

Type
   library(m_tree234)

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
