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