Prolog view 2