Annotated using CiaoPP: :- mode(app/3, [+,+,-]). :- measure(app/3, [length,size,size]). %complexity: app(i,i,o). %% app(Xs, Ys, Zs) :- Zs is the result of concatenating the lists Xs and Ys. %% %TWTYPES :- type app(list,list,list). app([],X,X). app([X|Xs],Ys,[X|Zs]) :- app(Xs,Ys,Zs). /*TWDESC app(Xs, Ys, Zs) :- Zs is the result of concatenating the lists Xs and Ys. */ /*TWTYPES list([]). list([X|Xs]) :- poly(X), list(Xs). poly([X]) :- poly_prime(X). poly_prime(dummy). */ /*TWDEMO selected_norms([list]). */ /*. */ Caslog 1.0, April 1992. * Mutually exclusive classes of clauses for predicate app/3 : [[1],[2]] * Size functions for predicate app/3 : [$(1),$(2),bot] * Relation functions for predicate app/3 : [inf] * Solution functions for predicate app/3 : [1] * Time functions for predicate app/3 : [$(1)+1] {Exexution Time: 0.0 msec} {End of Caslog execution.}