Change the prolog file