Add part 4
Final commit for prolog