:type '(repeat (list (symbol :tag "System")
(cons :tag "Version numbers" (integer :tag "Major")
(integer :tag "Minor"))))
+ :risky t
:group 'prolog)
;; Indentation
"Alist of Prolog keywords which is used for font locking of directives."
:version "24.1"
:group 'prolog-font-lock
- :type 'sexp)
+ :type 'sexp
+ :risky t)
(defcustom prolog-types
'((mercury
"Alist of Prolog types used by font locking."
:version "24.1"
:group 'prolog-font-lock
- :type 'sexp)
+ :type 'sexp
+ :risky t)
(defcustom prolog-mode-specificators
'((mercury
"Alist of Prolog mode specificators used by font locking."
:version "24.1"
:group 'prolog-font-lock
- :type 'sexp)
+ :type 'sexp
+ :risky t)
(defcustom prolog-determinism-specificators
'((mercury
"Alist of Prolog determinism specificators used by font locking."
:version "24.1"
:group 'prolog-font-lock
- :type 'sexp)
+ :type 'sexp
+ :risky t)
(defcustom prolog-directives
'((mercury
"Alist of Prolog source code directives used by font locking."
:version "24.1"
:group 'prolog-font-lock
- :type 'sexp)
+ :type 'sexp
+ :risky t)
;; Keyboard
(or (car names) "prolog"))))
"Alist of program names for invoking an inferior Prolog with `run-prolog'."
:group 'prolog-inferior
- :type 'sexp)
+ :type 'sexp
+ :risky t)
(defun prolog-program-name ()
(prolog-find-value-by-system prolog-program-name))
"Alist of switches given to inferior Prolog run with `run-prolog'."
:version "24.1"
:group 'prolog-inferior
- :type 'sexp)
+ :type 'sexp
+ :risky t)
(defun prolog-program-switches ()
(prolog-find-value-by-system prolog-program-switches))
region of a buffer, in which case it is the number of lines before
the region."
:group 'prolog-inferior
- :type 'sexp)
+ :type 'sexp
+ :risky t)
+
(defun prolog-consult-string ()
(prolog-find-value-by-system prolog-consult-string))
If `prolog-program-name' is non-nil, it is a string sent to a Prolog process.
If `prolog-program-name' is nil, it is an argument to the `compile' function."
:group 'prolog-inferior
- :type 'sexp)
+ :type 'sexp
+ :risky t)
+
(defun prolog-compile-string ()
(prolog-find-value-by-system prolog-compile-string))
"Alist of strings that represent end of file for prolog.
nil means send actual operating system end of file."
:group 'prolog-inferior
- :type 'sexp)
+ :type 'sexp
+ :risky t)
(defcustom prolog-prompt-regexp
'((eclipse "^[a-zA-Z0-9()]* *\\?- \\|^\\[[a-zA-Z]* [0-9]*\\]:")
"Alist of prompts of the prolog system command line."
:version "24.1"
:group 'prolog-inferior
- :type 'sexp)
+ :type 'sexp
+ :risky t)
+
(defun prolog-prompt-regexp ()
(prolog-find-value-by-system prolog-prompt-regexp))
;; (t "^|: +"))
;; "Alist of regexps matching the prompt when consulting `user'."
;; :group 'prolog-inferior
-;; :type 'sexp)
+;; :type 'sexp
+;; :risky t)
(defcustom prolog-debug-on-string "debug.\n"
"Predicate for enabling debug mode."
(define-abbrev-table 'prolog-mode-abbrev-table ())
+;; Becauses this can `eval' its arguments, any variable that gets
+;; processed by it should be marked as :risky.
(defun prolog-find-value-by-system (alist)
"Get value from ALIST according to `prolog-system'."
(let ((system (or prolog-system
(swi prolog-help-online)
(t prolog-help-online))
"Alist for the name of the function for finding help on a predicate.")
+(put 'prolog-help-function 'risky-local-variable t)
(defun prolog-help-on-predicate ()
"Invoke online help on the atom under cursor."