GNU_Prolog loading ...