Extended prolog term generator
Changed grammar: Rename rules
Prolog term generator finished