eq(f(A,B),1,[g(A,B,C,D,E),loop_cont_g(D,E)],[C=0]).
eq(f(A,B),1,[g(A,B,C,D,E)],[C=1]).
eq(loop_cont_g(A,B),0,[h(A,B,C,D,E),loop_cont_h(D,E)],[C=0]).
eq(loop_cont_g(A,B),0,[h(A,B,C,D,E)],[C=1]).
eq(g(A,B,C,D,E),1,[g(2*A,B-1,C,D,E)],[B>0]).
eq(h(A,B,C,D,E),1,[h(A-1,B,C,D,E)],[A>0]).
eq(g(A,B,C,A,B),1,[],[C=0,0>=B]).
eq(g(A,B+1,C,A,B+1),0,[],[C=1,B>=0]).
eq(h(A,B,C,A,B),0,[],[C=1]).