Seq prolog generator finished + tests