Annotated using CiaoPP: :- mode(less/2, [-,+]). :- measure(less/2, [size,size]). %complexity: less(o,i). %% less(X, Y) :- X, Y are numerals such that X lt Y. %% %TWTYPES :- type less(nat,nat). less(0, s(_)). less(s(X), s(Y)) :- less(X, Y). /*TWDESC less(X, Y) :- X, Y are numerals such that X lt Y. */ /*TWTYPES nat(0). nat(s(X)) :- nat(X). */ /*TWDEMO selected_norms([nat]). query(less(b,f)). query(less(f,b)). */ Caslog 1.0, April 1992. * Mutually exclusive classes of clauses for predicate less/2 : [[1,2]] * Size functions for predicate less/2 : [$(2)+1,$(2)] * Relation functions for predicate less/2 : [inf] * Solution functions for predicate less/2 : [$(2)] * Time functions for predicate less/2 : [2* $(2)] {Exexution Time: 4.0 msec} {End of Caslog execution.}