Annotated using CiaoPP:
:- mode(append/3, [+,+,-]).
:- measure(append/3, [length,size,size]).
%complexity: append(i,i,o).

% mode: append[i,i,o]
append([H|X],Y,[X|Z]) :- append(X,Y,Z).
append([],Y,Y).



Caslog 1.0, April 1992.

* Mutually exclusive classes of clauses for predicate append/3 :

[[1],[2]]

* Size functions for predicate append/3 :

[$(1),$(2),bot]

* Relation functions for predicate append/3 :

[inf]

* Solution functions for predicate append/3 :

[1]

* Time functions for predicate append/3 :

[$(1)+1]

{Exexution Time: 4.0 msec}

{End of Caslog execution.}