6.7.2 Prolog