parseProlog and some supporting files added