\
Copyright (C) 2001-2006 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.\nPPL clpq ?- yes
PPL clpq ?- Z = 5
 more? yes
PPL clpq ?- yes
PPL clpq ?- X = 0
Y - Z = -1
 more? yes
PPL clpq ?- yes
PPL clpq ?- Y = 102
 more? yes
PPL clpq ?- yes
PPL clpq ?- Y = 8
 more? yes
PPL clpq ?- yes
PPL clpq ?- 
Error: an overflow has been detected by the PPL: Negative overflow.
no
PPL clpq ?- yes
PPL clpq ?- R = 45
O = 9
M = 45
D = 9
N = 55
E = 10
S = 10
Y = 8
 more? yes
PPL clpq ?- 