C-x prolog-mode doesn't work; changed it to M-x prolog-mode, which does.