eq(f(A,B,C),1,[g(A,1,0,D,E,F,G),loop_cont_g(E,F,G)],[D=0]).
eq(f(A,B,C),1,[g(A,1,0,D,E,F,G)],[D=1]).
eq(loop_cont_g(A,B,C),0,[h(A,B,C,D,E,F,G),loop_cont_h(E,F,G)],[D=0]).
eq(loop_cont_g(A,B,C),0,[h(A,B,C,D,E,F,G)],[D=1]).
eq(g(A,B,C,D,E,F,G),1,[g1(A-1,B,B,D,E,F,G)],[A>0]).
eq(h(A,B,C,D,E,F,G),1,[h(A,B-1,C,D,E,F,G)],[B>0]).
eq(g1(A,B,C,D,E,F,G),1,[g(A,C+B,C,D,E,F,G)],[]).
eq(g(A,B,C,D,A,B,C),1,[],[D=0,<=(A,0)]).
eq(g(A,B,C,D,A,B,C),0,[],[D=1]).
eq(h(A,B,C,D,A,B,C),0,[],[D=1]).