Vitor Santos Costa wrote:
It is a bug, definitely.
Dear Vitor, I have tried the CVS version of YAP to see whether you fixed the bug about bignums (you did, thanks!) and I have noticed a problem in that version. This is witnessed by the attached program: if you try the query "?- bug." you will see that something wrong is printed. Cheers Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it bug :- write('\ Copyright (C) 2001-2003 Roberto Bagnara <bagnara@cs.unipr.it>\n\ this program is free software, covered by the GNU General Public License,\n\ and you are welcome to change it and/or distribute copies of it\n\ under certain conditions.\n\ Type "copying" to see the conditions.\n\ There is ABSOLUTELY NO WARRANTY for this program.\n\ Type "warranty" for details.\n').