agaga(X,Y) :- gagag(Y,X),!,Y is X+2.
agaga(X,Y) :- X is Y+1.
gagag(X,Y) :- Y is X mod 2.

% trace(agaga(1,0)).
% trace(agaga(0,2)).
% trace(agaga(0,6)).