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

[Paulo Moura]

On 2007/09/24, at 10:01, Bart Demoen wrote:

>> having done some work on implementing this
>> predicate on YAP and B-Prolog
>
> As I pointed out earlier: the one in Yap is/was buggy (wrt any
> intended specification). Has it been corrected in the mean time ?

Not yet. Hope to do some work on it before YAP 5.1.3 is released. I  
will keep you posted.

Cheers,

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