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