When editing large files, it might happen that font-locking is not done because the file is too large. Typing M-x lazy-lock-mode, which is much faster, results in only the visible parts of the buffer being highlighted; see its Emacs on-line documentation for details.
If the font-locking seems to be incorrect, choose Fontify
Buffer from the Prolog menu.