Re: Prologs with Occurs Check constantly on?

From: ulrich@xxxxxxxxxxxxxxxxxxxxxxxxxx (Ulrich Neumerkel)
Date: Tue, 11 Oct 2011 11:44:46 GMT

Jan Wielemaker <jan@xxxxxxxxxxxxxxx> writes:

On 2011-10-09, Jan Burse <janburse@xxxxxxxxxxx> wrote:

Dear All,

Are there any Prologs with Occurs Check
constantly on?

SWI-Prolog after

set_prolog_flag(occurs_check, true).

I do not know whether anyone uses this. ...

Do you remember Geoff Sutcliffe and TPTP ... ? That was one of the
reasons why he used SWI.
.

Follow-Ups:
- Re: Prologs with Occurs Check constantly on?
  - From: Jan Wielemaker

References:
- Prologs with Occurs Check constantly on?
  - From: Jan Burse
- Re: Prologs with Occurs Check constantly on?
  - From: Jan Wielemaker

Prev by Date: Re: ISO Section 7.6 Converting ..., known Gap?
Next by Date: Re: Prologs with Occurs Check constantly on?
Previous by thread: Re: Prologs with Occurs Check constantly on?
Next by thread: Re: Prologs with Occurs Check constantly on?
Index(es):
- Date
- Thread

Relevant Pages

Re: Prologs with Occurs Check constantly on?
... Are there any Prologs with Occurs Check ... SWI-Prolog after ... Do you remember Geoff Sutcliffe and TPTP ... ... warn novices against X = X+1 misconceptions. ...
(comp.lang.prolog)
Re: Prologs with Occurs Check constantly on?
... Are there any Prologs with Occurs Check ... SWI-Prolog after ... rational trees. ... the overhead is acceptable on a wide range of programs ...
(comp.lang.prolog)
Re: PSP
... Jan Wielemaker wrote: ... > The SWI-Prolog application database (available from the website) runs ...
(comp.lang.prolog)