prolog-determinism-specificators

prolog-determinism-specificators is a variable defined in `prolog.el'.
Its value is

((mercury
  ("cc_multi" "cc_nondet" "det" "erroneous" "failure" "multi" "nondet" "semidet"))
 (t nil))

Documentation:
Alist of Prolog determinism specificators used by font locking.

You can customize this variable.

This variable was introduced, or its default value was changed, in version 24.1 of Emacs.