Annotated using CiaoPP: :- mode(tree_member/2, [-,+]). :- measure(tree_member/2, [size,size]). %complexity: tree_member(o,i). %% tree_member(Element, Tree) :- Element is an element of the tree Tree. %% %TWTYPES :- type tree_member(poly,tree). tree_member(X, tree(X, _, _)). tree_member(X, tree(_, Left, _)) :- tree_member(X, Left). tree_member(X, tree(_, _, Right)) :- tree_member(X, Right). /*TWDESC tree_member(Element, Tree) :- Element is an element of the tree Tree. */ /*TWTYPES tree(void). tree(tree(V,L,R)) :- poly(V), tree(L), tree(R). poly(dummy). */ /*TWDEMO selected_norms([tree,poly]). query(tree_member(f,f,b,f)). query(tree_member(f,f,f,b)). */ Caslog 1.0, April 1992. * Mutually exclusive classes of clauses for predicate tree_member/2 : [[1,2,3]] * Size functions for predicate tree_member/2 : [arg($(2),1)+arg(4,1)* $(2),$(2)] * Relation functions for predicate tree_member/2 : [inf] * Solution functions for predicate tree_member/2 : [$(2)] * Time functions for predicate tree_member/2 : [3* $(2)] {Exexution Time: 8.0 msec} {End of Caslog execution.}