通过 prolog.el 在 Emacs 中选择这样或这样的 Prolog 系统

Question

Thierry Martinez 更改了 prolog.el (a package that provides a major mode for editing Prolog code in emac) 并提供了 a couple of files，通过它可以获得迷你缓冲区中的 Prolog 系统菜单。有人向我建议（见下文），通过directory local variables 和prolog.el，可以将这样或这样的 Prolog 系统的选择与给定目录相关联。不幸的是，我没有成功编写一个 .dir-locals.el 来选择目录中的 SWI Prolog，并选择另一个，例如 Jekejeke Prolog 或 GNU Prolog。因此，我回到了 Martinez 给出的解决方案。但在这种情况下，我很高兴了解directory local variables 如何与prolog.el 一起工作。欢迎帮助。

Answer 1

您的问题不再是蒂埃里·马丁内斯了吗？
对于蒂埃里·马丁内斯，我猜你只需要改变这个：

(setq auto-mode-alist (append '(
                                ("\\.pro$" . prolog-mode)
                                ("\\.pl$" . prolog-or-perl-mode)
                                ("\\.chr$" . chr-mode)
                                )
         auto-mode-alist))

这是一个例子，但我假设我的 Prolog
系统由“jekejeke”而非“jekeprolog”标识：

(defun prolog-mode-jekejeke ()
     "Specific prolog mode which uses Jekejeke Prolog"
     (interactive)
     (prolog-mode 'jekejeke))

(setq auto-mode-alist (append '(
                                ("\\.p$" . prolog-mode-jekejeke)
                                ("\\.pro$" . prolog-mode)
                                ("\\.pl$" . prolog-or-perl-mode)
                                ("\\.chr$" . chr-mode)
                                )
         auto-mode-alist))

我指的是最初来自 Thierry Martinez 的文件：

;; prolog-mode loader
;; Thierry.Martinez@inria.fr
;; under GPLv3

https://gist.github.com/jburse/2d5fd1d3dd8436acceca52fdfc537581#file-prolog-el

警告，我没有测试！

Answer 2

如果您想更改每个文件的 prolog 系统，只需在文件开头包含以下行。

%% -*- prolog-system: swi -*-

用任何支持的系统替换 swi

eclipse - Eclipse Prolog
mercury - Mercury
sicstus - SICStus Prolog
swi     - SWI Prolog
gnu     - GNU Prolog

现在在使用多个 prolog 系统时会出现一些问题：

1. 切换到不同系统后，mode-name 不会改变。因此，如果以前是 Prolog[GNU]，即使 prolog-system 的当前缓冲区本地值是 swi，mode-name 也不会更改为 Prolog[SWI]。
2. 无论prolog-system 的缓冲区本地值是什么，当您执行run-prolog 或键入C-c C-l 时，启动的prolog 进程似乎是全局prolog-system 值的进程。 这是一个错误（希望得到解决） fixed 现在。
3. 当前prolog.el 不支持同时运行的不同解释器。要运行gprolog，您必须停止swipl，反之亦然。他们都在为控制*prolog*缓冲区而战。

如果你仍然想要你的原始文件后缀类型的切换，你可以这样做：

(define-derived-mode gnuprolog-mode prolog-mode "GNU-Prolog"
  "This is just `prolog-mode'."
  (setq-local prolog-system 'gnu)
  (prolog-mode-variables))

(add-to-list 'auto-mode-alist '("gnu\\.pl" . gnuprolog-mode))

这里任何带有gnu.pl 后缀的文件都将在我们的gnuprolog-mode 中打开，这只是一个prolog-mode，以您选择的prolog 系统开始。

警告：在 emacs-28

中均已修复

1. 使用此代码，由于 prolog.el 中的错误（最近是 fixed），语法高亮可能无法（取决于您的 emacs 的最新程度）正常工作。
2. 由于仍然存在错误，启动的解释器可能不是正确的解释器（现在是 fixed）。