Annotated using CiaoPP: :- mode(p/2, [+,-]). :- mode(map/2, [+,-]). :- measure(p/2, [size,size]). :- measure(map/2, [length,length]). %complexity: map(i,o). % mode: p[i,o] p(val_i,val_j). % mode: map[i,o] map([X|Xs],[Y|Ys]) :- p(X,Y),map(Xs,Ys). map([],[]). Caslog 1.0, April 1992. * Mutually exclusive classes of clauses for predicate p/2 : [[1]] * Size functions for predicate p/2 : [1,1] * Relation functions for predicate p/2 : [1] * Solution functions for predicate p/2 : [1] * Time functions for predicate p/2 : [1] * Mutually exclusive classes of clauses for predicate map/2 : [[1],[2]] * Size functions for predicate map/2 : [$(1),$(1)] * Relation functions for predicate map/2 : [inf] * Solution functions for predicate map/2 : [1] * Time functions for predicate map/2 : [2* $(1)+1] {Exexution Time: 4.0 msec} {End of Caslog execution.}