SICStus_Prolog loading ...