Improvements to prolog files.