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