Updated Readme.md with new Prolog version