Add PrologFlags parameter to the documentation