Re: [Yap-users] Compatibility with SICStus Prolog

[Paulo M. <pm...@no...>]

On Monday, December 17, 2001, at 06:56 PM, Oliver Werth wrote:

> Hello,
>
> I have a quite complex Engine writen in SICStus Prolog, and try runnig=20=

> it
> now with
> YAP 4.2.
> ...
> My Main Question is, are there logical Differences between YAP 4.2 and
> SICStus, able
> to force this outcome, and is there a common solution to the problem ?
> Is there a possibility to use "logical update semantics" in YAP ?

Yes. There is a flag that you can set to choose between "logical update=20=

semantics" and "immediate update semantics". More details in the YAP=20
documentation.

Regards,

Paulo


-----------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Informatics                   Office 4.3  Ext. 3257
University of Beira Interior          Phone: +351 275319700
6201-001 Covilh=E3                      Fax:   +351 275319732
Portugal

mailto:pm...@no...
http://www.ci.uc.pt/logtalk/pmoura.html
-----------------------------------------------------------