SWI-Prolog loading ...