eq(f0(A),1,[f3(0,B,C),loop_cont_f3(C)],[B=0]).
eq(f0(A),1,[f3(0,B,C)],[B=1]).
eq(f3(A,B,C),1,[f3(A+1,B,C)],[9>=A]).
eq(f3(A,B,A),1,[],[B=1,A>=10,0>=C+1]).
eq(f3(A,B,A),1,[],[B=1,A>=10]).