Updated Prolog slides