Re: Giant bug in XSB 2.6?
From: Bart Demoen (bmd_at_cs.kuleuven.ac.be)
Date: 10/25/04
- Next message: Ugo Chirico: "JIProlog 3.0.0-5 now available"
- Previous message: Roberto Bagnara: "Giant bug in XSB 2.6?"
- In reply to: Roberto Bagnara: "Giant bug in XSB 2.6?"
- Next in thread: Roberto Bagnara: "Re: Giant bug in XSB 2.6?"
- Reply: Roberto Bagnara: "Re: Giant bug in XSB 2.6?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Mon, 25 Oct 2004 19:49:36 +0200
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
- Next message: Ugo Chirico: "JIProlog 3.0.0-5 now available"
- Previous message: Roberto Bagnara: "Giant bug in XSB 2.6?"
- In reply to: Roberto Bagnara: "Giant bug in XSB 2.6?"
- Next in thread: Roberto Bagnara: "Re: Giant bug in XSB 2.6?"
- Reply: Roberto Bagnara: "Re: Giant bug in XSB 2.6?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|