[CLAIR-devel] Strange behavior of arithmetic shift

Roberto Bagnara bagnara at cs.unipr.it
Mon Oct 30 17:40:55 CET 2006

$ pl
Welcome to SWI-Prolog (Multi-threaded, Version 5.6.21)
Copyright (c) 1990-2006 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- X is -3 << -3.
ERROR: Out of global stack

Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it

More information about the CLAIR-devel mailing list