Annotated using CiaoPP: :- mode(num/1, [+]). :- measure(num/1, [size]). %complexity: num(i). %% num(X) :- X is a numeral. %% %TWTYPES :- type num(nat). num(0). num(s(X)) :- num(X). /*TWDESC num(X) :- X is a numeral. */ /*TWTYPES nat(0). nat(s(X)) :- nat(X). */ /*TWDEMO selected_norms([nat]). query(num(b)). */ Caslog 1.0, April 1992. * Mutually exclusive classes of clauses for predicate num/1 : [[1],[2]] * Size functions for predicate num/1 : [$(1)] * Relation functions for predicate num/1 : [inf] * Solution functions for predicate num/1 : [1] * Time functions for predicate num/1 : [$(1)] {Exexution Time: 0.0 msec} {End of Caslog execution.}