updated the README format and added a link for Prolog