-------- Original Message -------- Subject: Re: Giant bug in XSB 2.6? Date: Mon, 25 Oct 2004 19:49:36 +0200 From: Bart Demoen bmd@cs.kuleuven.ac.be Organization: KULeuvenNet Newsgroups: comp.lang.prolog References: kj9fd.310$Es2.5119@twister2.libero.it

Roberto Bagnara wrote:

Still on the theme "nigthmares about Prolog arithmetics", can anyone reproduce this (rather incredible) behavior? [...] If this is confirmed as a bug, does anyone know if there is a workaround that is general enough?

It is a confirmed "feature" since at least 8 years :-) If I remember well, the workaround is to put every call to is/2 inside a metacall.

While we are at it, do you know if XSB is still actively maintained?

AFAIK, it is still actively maintained, but the priorities are not what you might think. As for the bug you stumbled on: since many years it is known that there is a problem; it is probably not difficult to fix it (fixing it is almost trivial I think) but nobody really familiar with the maintenance of the XSB compiler cares enough to fix it.

Cheers

Bart Demoen