eq(f0(A,B),1,[f2(C,B-1,D,E,F),loop_cont_f2(E,F)],[D=0,B>=1]).
eq(f0(A,B),1,[f2(C,B-1,D,E,F)],[D=1,B>=1]).
eq(f2(A,B,C,D,E),1,[f2(A-1,B,C,D,E)],[A>=1]).
eq(f2(A,B,C,D,E),1,[f2(F,B-1,C,D,E)],[B>=1,0>=A]).
eq(f2(A,B,C,A,B),0,[],[C=1]).