test1(0) :- !, statistics(active_frames, Fs), statistics(active_choices, Cs), statistics(active_trails, Ts), statistics(active_slots, Ss), write([Fs,Cs,Ts,Ss]), nl, fail.
test1(N) :- N1 is N-1, test1(N1).

f.
test2(0) :- !, statistics(active_frames, Fs), statistics(active_choices, Cs), statistics(active_trails, Ts), statistics(active_slots, Ss), write([Fs,Cs,Ts,Ss]), nl, fail.
test2(N) :- f, N1 is N-1, test2(N1).

f(1).
test3(0) :- !, statistics(active_frames, Fs), statistics(active_choices, Cs), statistics(active_trails, Ts), statistics(active_slots, Ss), write([Fs,Cs,Ts,Ss]), nl, fail.
test3(N) :- f(_), N1 is N-1, test3(N1).

f(_, _).
test4(0) :- !, statistics(active_frames, Fs), statistics(active_choices, Cs), statistics(active_trails, Ts), statistics(active_slots, Ss), write([Fs,Cs,Ts,Ss]), nl, fail.
test4(N) :- f(N, _), N1 is N-1, test4(N1).

f(_, g(_), g(g(_))).
test5(0) :- !, statistics(active_frames, Fs), statistics(active_choices, Cs), statistics(active_trails, Ts), statistics(active_slots, Ss), write([Fs,Cs,Ts,Ss]), nl, fail.
test5(N) :- f(I, g(N), g(g(_))), N1 is N-1, test5(N1).

statistics.

% Should print [3,0,2,4] for all tests...

main :-
	write(test1), write(': '), test1(1000000);
	write(test2), write(': '), test2(1000000);
	write(test3), write(': '), test3(1000000);
	write(test4), write(': '), test4(1000000);
	write(test5), write(': '), test5(1000000);
	true.