Update README.md

light editing, added SWI-Prolog to requirements