Annotated using CiaoPP: :- mode(member/2, [-,+]). :- measure(member/2, [size,length]). %complexity: member(o,i). % mode: member[o,i] member(X,[Y|Xs]) :- member(X,Xs). member(X,[X|Xs]). 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.}