Re: [Yap-users] Compatibility with SICStus Prolog

[Vitor S. C. <vi...@bi...>]

Hi Oliver,

> 
> 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 ?
> 

As Paulo said, you should try using

yap_flag(language,sicstus).

This will set logical update semantics to be default. Notice that Yap
does not support everything SICStus supports.

SICStus compatibility has been steadily improving in the
development releases. You may also want to try Yap-4.3.19 and the
soon-to-released Yap-4.3.20.

And, of course, if you have problems you can always contact the list!

Cheers,

Vitor