eq(f(A,B,C),1,[g(1,1,C,D,E,F,G),loop_cont_g(E,F,G)],[D=0]).
eq(f(A,B,C),1,[g(1,1,C,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,[g(A+B,A+B,C-1,D,E,F,G)],[C>0]).
eq(h(A,B,C,D,E,F,G),1,[h(A,B-1,C,D,E,F,G)],[B>0]).
eq(g(A,B,C,D,A,B,C),1,[],[D=0,<=(C,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]).