[PPL-devel] Solved PPL + SWI + Debian

I finally solved my problems by dist-upgrading Debian to Lenny.Indeed, seems that some gcc libraries needed to be upgraded.

Thank you for your help. I hope that my experience will be of some help.

Valerio