Re: Cycle Check

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


Date: Fri, 09 Apr 2004 15:06:26 +0200

Warwick Harvey wrote:
> No, there is no built-in support for this in ECLiPSe. Some Prologs have
> it: it's called tabling. (Or rather, I believe that tabling allows one
> to solve this problem, among others.)
>
> If you really need this kind of feature, then let us know what other
> features you want from the system, and perhaps somebody can suggest a
> suitable Prolog for you.

thanks to all who have answered me.

adding the following has solvd our problem:
:- set_flag(dfid_compile,on).

Info:
http://www.cs.ncl.ac.uk/modules/1997-98/csc324/prolog/umsroot/node280.html#SECTION002250000000000000000