Annotated using CiaoPP: :- mode(reverse/3, [+,+,-]). :- measure(reverse/3, [length,size,size]). %complexity: reverse(i,i,o). % mode: reverse[i,o,i] reverse([],X,X). reverse([X|Y],Z,U) :- reverse(Y,Z,[X|U]). Caslog 1.0, April 1992. * Mutually exclusive classes of clauses for predicate reverse/3 : [[1],[2]] * Size functions for predicate reverse/3 : [$(1),$(2),$(2)+tail(reverse(3,3,$(1)-1,$(2)))] * Relation functions for predicate reverse/3 : [inf] * Solution functions for predicate reverse/3 : [1] * Time functions for predicate reverse/3 : [$(1)+1] {Exexution Time: 0.0 msec} {End of Caslog execution.}