eq(f0(A),1,[f8(A)],[0>=B+1]).
eq(f0(A),1,[f8(A)],[]).
eq(f0(A),1,[f8(B)],[]).