Prolog2.pdf