eq(f0(A),1,[f4(B,C,D),loop_cont_f4(D)],[C=0]).
eq(f0(A),1,[f4(B,C,D)],[C=1]).
eq(f4(A,B,C),1,[f4(A+1,B,C)],[3>=A,A>=1]).
eq(f4(A,B,C),1,[f4(1,B,C)],[0>=A,3>=A]).
eq(f4(A,B,A),1,[],[B=1,A>=4]).