Title: Prolog P 4.2