Tried installing the binary of SWI-Prolog (swi-prolog-5.8.2-leopard-intel.mpkg) on my Mac OS X 10.5 box. For whatever reason, it was bombing out with some nasty errors (Libary not loaded … image not found). Read about others’ troubles and decided to try MacPorts. Couldn’t get SWI-Prolog to install using a standard: $ sudo port -v install swi-prolog [...]