The following test under SWI succeeds. It seems simply to be a problem of the "ppl_pl" executable.
Valerio
valerio:~/ppl-0.10pre32/interfaces/Prolog/tests$ swipl Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.6.58) Copyright (c) 1990-2008 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).
?- consult('/usr/local/lib/ppl/ppl_swiprolog.pl'). % /usr/local/lib/ppl/ppl_swiprolog.pl compiled 0.08 sec, 452,940 bytes true.
?- [pl_check]. % pl_check compiled 0.05 sec, 152,096 bytes true.
?- assert(prolog_system(swi)). true.
?- check_noisy.
Version major is 0 Version minor is 10 Version revision is 0 Version beta is 32 Version is 0.10pre32
This is the Parma Polyhedra Library (PPL) version 0.10pre32. Copyright (C) 2001-2008 Roberto Bagnara bagnara@cs.unipr.it.
The PPL is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
Compiled by the GNU C++ compiler version 4.1.2 20061115 (prerelease) (Debian 4.1.1-21).
Report bugs to ppl-devel@cs.unipr.it. For the most up-to-date information see the Parma Polyhedra Library site: http://www.cs.unipr.it/ppl/ .
Contributors: Roberto Bagnara, Patricia M. Hill, Enea Zaffanella, Elisa Ricci, Abramo Bagnara, Andrea Cimino, Katy Dobson, Elena Mazzi, Andrea Pescetti, Barbara Quartieri, Alessandro Zaccagnini, Irene Bacchi, Danilo Bonardi, Sara Bonini, Giordano Fracasso, Maximiliano Marchesi, David Merchat, Matthew Mundell, Angela Stazzone, Fabio Trabucchi, Claudio Trento, Tatiana Zolo.
Special thanks: Lucia Alessandrini, Marco Comini, Bruno Haible, Bertrand Jeannet Herve' Le Verge, Francesco Logozzo, Costantino Medori, Fred Mesnard.
... true.
?-