Cycle Check

Hi,

imagine the following simple knowledge base:
a:-b.
b:-a.

Is their a build-in cycle-check in ECLiPSe Prolog,
to prevent the situation that the pc ends in a loop
when asking "a" or "b"?

Thank You for your answers!
CU SW!