Annotated using CiaoPP: :- mode(list/1, [+]). :- measure(list/1, [length]). %complexity: list(i). %% list(Xs) :- Xs is a list. %% %TWTYPES :- type list(list). list([]). list([_ | Ts]) :- list(Ts). /*TWDESC list(Xs) :- Xs is a list. */ /*TWTYPES list([]). list([X|Xs]) :- poly(X), list(Xs). poly(dummy). */ /*TWDEMO selected_norms([list,poly]). query(list(b,f)). query(list(f,b)). */ Caslog 1.0, April 1992. * Mutually exclusive classes of clauses for predicate list/1 : [[1],[2]] * Size functions for predicate list/1 : [$(1)] * Relation functions for predicate list/1 : [inf] * Solution functions for predicate list/1 : [1] * Time functions for predicate list/1 : [$(1)+1] {Exexution Time: 0.0 msec} {End of Caslog execution.}