So the Prolog mode that comes with Emacs sucks. Well, here is a better alternative, with all the features you would expect, including syntax highlighting, auto indent, and full interaction with an inferior Prolog process. This mode supports in principle any Prolog system, though it is primarily maintained with SWI Prolog in mind. It also has some special tweaks for SICStus Prolog, and explicitly supports Prolog's close relatives Eclipse and Mercury.

WWW: https://bruda.ca/emacs/prolog_mode_for_emacs
