Added eof in parseProlog2, added large example
Parser partially works