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.}