Annotated using CiaoPP: :- mode(member/2, [-,+]). :- measure(member/2, [size,length]). %complexity: member(o,i). %% member(Element, List) :- Element is an element of the list List. %% %TWTYPES :- type member(poly,list). member(X, [X | _]). member(X, [_ | Xs]) :- member(X, Xs). /*TWDESC member(Element, List) :- Element is an element of the list List. */ /*TWTYPES list([]). list([X|Xs]) :- poly(X), list(Xs). poly(dummy). */ /*TWDEMO selected_norms([list,poly]). query(member(f,f,b,f)). query(member(f,f,f,b)). */ Caslog 1.0, April 1992. * Mutually exclusive classes of clauses for predicate member/2 : [[1,2]] * Size functions for predicate member/2 : [bot,$(2)] * Relation functions for predicate member/2 : [inf] * Solution functions for predicate member/2 : [$(2)] * Time functions for predicate member/2 : [2* $(2)] {Exexution Time: 0.0 msec} {End of Caslog execution.}