fact(a). fact(b). fact(8). a<10.

gezero(X) :- X>=11, fact(X).