Variable: prolog-program-name

prolog-program-name is a customizable variable defined in prolog.el.gz.

Value

(((getenv "EPROLOG") (eval (getenv "EPROLOG"))) (eclipse "eclipse")
 (mercury nil) (sicstus "sicstus") (swi "pl") (gnu "gprolog")
 (t "prolog"))

Documentation

Alist of program names for invoking an inferior Prolog with run-prolog.

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/prolog.el.gz
;; Inferior mode

(defcustom prolog-program-name
  `(((getenv "EPROLOG") (eval (getenv "EPROLOG")))
    (eclipse "eclipse")
    (mercury nil)
    (sicstus "sicstus")
    (swi ,(if (not (executable-find "swipl")) "pl" "swipl"))
    (gnu "gprolog")
    (t ,(let ((names '("prolog" "gprolog" "swipl" "pl")))
          (while (and names
                      (not (executable-find (car names))))
            (setq names (cdr names)))
          (or (car names) "prolog"))))
  "Alist of program names for invoking an inferior Prolog with `run-prolog'."
  :group 'prolog-inferior
  :type '(alist :key-type (choice symbol sexp)
                :value-type (group (choice string (const nil) sexp)))
  :risky t)