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@di.ubi.pt
Home page: http://www.di.ubi.pt/~pmoura Research: http://logtalk.org/ -----------------------------------------------------------------