Dear Mac OS X users of the PPL, in view of the imminent release of PPL 0.10 we are going through the TODO file. One item I added some time ago to that file says: - In the SWI-Prolog documentation, the command to dynamically load the library has to be modified so as to specify the `.so' extension: this is required under Mac OS X and seems not to do any harm under GNU/Linux. Can you please confirm that ?- load_foreign_library('/usr/local/lib/ppl/libppl_swiprolog'). and ?- unload_foreign_library('/usr/local/lib/ppl/libppl_swiprolog'). do not work under Mac OS X, while ?- load_foreign_library('/usr/local/lib/ppl/libppl_swiprolog.so'). ?- unload_foreign_library('/usr/local/lib/ppl/libppl_swiprolog.so'). do? Thanks a lot, 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