Dear Roberto, Although I still have a minor problem for generating the doc because I don't have the right tools installed on my machine, PPL 1.2pre4 compiles under the latest OS X 10.9.5 and SWI-Prolog 7.1.23. Cheers, Fred