Israel Herraiz wrote:

a new version of the PPL Debian package has been uploaded to the FTP archive, including SWI Prolog support (new package called libppl-swi).

The details are here:

http://packages.qa.debian.org/p/ppl/news/20091018T181815Z.html

Hi Israel. Good news! Thanks for what you did to achieve this result. 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