[Yap-users] Compatibility with SICStus Prolog

[Oliver W. <Ath...@gm...>]

Hello,

I have a quite complex Engine writen in SICStus Prolog, and try runnig it
now with 
YAP 4.2.

In SICStus the Engine was working fine. 
I already changed the different predicates in the library to the YAP
predicates and 
fixed the small syntax differences. The Engine, including all its librarys,
and 
included Modules or Databases is compiling fine, and all of the simple
predicates do 
work. 

However, using the complex functions of the Engine it seems to hook up in an
infinite 
Loop. While in Sicstus the procedure took about 0.23 seconds, I run it for
over an 
hour without success. 
During tracing I wasn't yet able to find the reason for an infinite Loop,
but I keep 
on searching. I am aware of the "immediate update semantics" of YAP and I
not yet 
figured out if this is the problem.

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 ?

Thanks, for bothering

Oliver Werth

-- 
GMX - Die Kommunikationsplattform im Internet.
http://www.gmx.net