Hi again! Now it works! I just copied all the header files in /usr/local/software/sicstus/include/sicstus/ to /usr/local/include/sicstus/ and everything went fine!! Thank you very much, now it's time to enjoy using the PPL :-) ciao ciao, Jacopo.