Variable: prolog-determinism-specificators

prolog-determinism-specificators is a customizable variable defined in prolog.el.gz.

Value

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

Documentation

Alist of Prolog determinism specificators used by font locking.

This variable was added, or its default value changed, in Emacs 24.1.

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/prolog.el.gz
(defcustom prolog-determinism-specificators
  '((mercury
     ("cc_multi" "cc_nondet" "det" "erroneous" "failure" "multi" "nondet"
      "semidet"))
    (t nil))
  "Alist of Prolog determinism specificators used by font locking."
  :version "24.1"
  :group 'prolog-font-lock
  :type '(repeat (list (choice symbol sexp) (choice (repeat string) sexp)))
  :risky t)