updating Prolog slides, fixing typo