Updated commentary, removed redundant ansi-color code from Prolog-mode.