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