[PPL-devel] [Xsb-development] Arithmetic evaluation bug in the CVS HEAD version of XSB

[Paulo Moura]

On 2007/09/23, at 20:35, Bart Demoen wrote:

>> -- call_cleanup/2
>
> In WG17, there was an attempt to propose call_cleanup/2 for the
> standard - the specification was rather incomplete to say the least.

Correction: there *IS* a proposal for adding call_cleanup/2 to the  
ISO standard. It's in the core revision DRAFT proposal and yes, its  
specification needs work. This draft has not discussed in the latest  
ISO WG 17 meeting (at ICLP'07) but contributions are welcome. The  
following Prolog compilers implement a version of this predicate:  
SICStus Prolog, SWI-Prolog, YAP, Qu-Prolog, and B-Prolog (there might  
be others). Terry: having done some work on implementing this  
predicate on YAP and B-Prolog, I will be happy to collaborate with  
you on the XSB implementation.

All the best,

Paulo


-----------------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal

Office 4.3  Ext. 3257
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:pmoura at di.ubi.pt>

Home page: <http://www.di.ubi.pt/~pmoura>
Research: <http://logtalk.org/>
-----------------------------------------------------------------