2021-04-11 05:24:14 (CEST) cTI start

% cTI_lt 0.25 using 23.619 MLIPS SICStus 3.8.5 (x86-linux-glibc2.1): Mon Oct 30 16:34:14 CET 2000.
% cTI: Rt=296ms, Wt=300ms, GC=4ms. NTI: Rt=4ms, Wt=4ms at most 76 inferences for useful informations.
% using the norm [mv(_,_)=mv].

% NTI summary:  Complete result is optimal.
append(A,B,C)terminates_if b(A);b(C).
    % optimal. loops found: [append([A|_],x,[A|_])]. NTI took    0ms,72i,72i
shanoi(A,B,C,D,E)terminates_if b(A).
    % optimal. loops found: [shanoi(s(s(s(_))),_,_,_,_),shanoi(s(s(s(_))),y,y,y,y)]. NTI took    4ms,76i,76i

Analyzed program consisting of text above and program located at URL http://www.complang.tuwien.ac.at/cti/bench/maria/hanoiapp.suc:

:- cti:norm_tmap([ mv(A,_) = mv]).
% ***** End of header included by cTI *****
shanoi(s(0),A,B,C,[mv(A,C)]).
shanoi(s(s(X)),A,B,C,M) :-
	N1=s(X),
	shanoi(N1,A,C,B,M1),
	shanoi(N1,B,A,C,M2),
	append(M1,[mv(A,C)],T),
	append(T,M2,M).

append([],L,L).
append([H|L],L1,[H|R]) :-
	append(L,L1,R).