iterate(0).
iterate(X) :- Y is X - 1, !, iterate(Y).
iterate(X) :- Y is X - 2, iterate(Y).

initialize(10000000).
slow_initialize(100).
benchmark(A, _) :- iterate(A).