[PPL-devel] [Fwd: Re: Giant bug in XSB 2.6?]

[Roberto Bagnara]

-------- Original Message --------
Subject: Re: Giant bug in XSB 2.6?
Date: Mon, 25 Oct 2004 19:49:36 +0200
From: Bart Demoen <bmd at cs.kuleuven.ac.be>
Organization: KULeuvenNet
Newsgroups: comp.lang.prolog
References: <kj9fd.310$Es2.5119 at 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

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it