[PPL-devel] Suggestion for the DarwinPorts version of SWI-Prolog