Modifications to prolog file.