Final commit for prolog