BNR_Prolog loading ...