Modified Prolog Files