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