12 Jan
2003
12 Jan
'03
7:59 p.m.
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').