Still on the theme "nigthmares about Prolog arithmetics", can anyone reproduce this (rather incredible) behavior?
$ xsb [xsb_configuration loaded] [sysinitrc loaded] [packaging loaded]
XSB Version 2.6 (Duff) of June 24, 2003 [i686-pc-linux-gnu; mode: optimal; engine: slg-wam; gc: indirection; scheduling: local]
| ?- [user]. [Compiling user] write_intexpr(Term) :- M is Term, write(M). [user compiled, cpu time used: 0.0300 seconds] [user loaded]
yes | ?- write_intexpr(1+1). 1 + 1 yes | ?- Term = 1+1, M is Term, write(M). 2 Term = 1 + 1 M = 2
yes | ?-
If this is confirmed as a bug, does anyone know if there is a workaround that is general enough?
While we are at it, do you know if XSB is still actively maintained? I sent a message to xsb-development back in April and never got a reply. All the best,
Roberto