Cycle Check

From: Sebastian Weber (spam_eimer2000_at_yahoo.de)
Date: 03/25/04

  • Next message: Linux Man: "Re: Logical Or" 
    Date: Thu, 25 Mar 2004 22:53:59 +0100

    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!

  • Next message: Linux Man: "Re: Logical Or"