Variable: prolog-consult-string

prolog-consult-string is a customizable variable defined in prolog.el.gz.

Value

((eclipse "[%f].") (mercury nil)
 (sicstus
  (eval
   (if (prolog-atleast-version '(3 . 7))
       "prolog:zap_file(%m,%b,consult,%l)."
     "prolog:zap_file(%m,%b,consult).")))
 (swi "[%f].") (gnu "[%f].") (t "reconsult(%f)."))

Documentation

Alist of strings defining predicate for reconsulting.

Some parts of the string are replaced:
%f by the name of the consulted file (can be a temporary file)
%b by the file name of the buffer to consult
%m by the module name and name of the consulted file separated by colon
%l by the line offset into the file. This is 0 unless consulting a
     region of a buffer, in which case it is the number of lines before
     the region.

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/prolog.el.gz
(defcustom prolog-consult-string
  '((eclipse "[%f].")
    (mercury nil)
    (sicstus (eval (if (prolog-atleast-version '(3 . 7))
                       "prolog:zap_file(%m,%b,consult,%l)."
                     "prolog:zap_file(%m,%b,consult).")))
    (swi "[%f].")
    (gnu     "[%f].")
    (t "reconsult(%f)."))
  "Alist of strings defining predicate for reconsulting.

Some parts of the string are replaced:
`%f' by the name of the consulted file (can be a temporary file)
`%b' by the file name of the buffer to consult
`%m' by the module name and name of the consulted file separated by colon
`%l' by the line offset into the file.  This is 0 unless consulting a
     region of a buffer, in which case it is the number of lines before
     the region."
  :group 'prolog-inferior
  :type '(alist :key-type (choice symbol sexp)
                :value-type (group (choice string (const nil) sexp)))
  :risky t)