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

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 ?

Cheers

Bart