adding parseProlog