我想在Emacs缓冲区中获得apropos/1
和help/1
等的输出,而不是XPCE窗口。我在Linux下使用SWI Prolog。
我尝试过的:
-
在初始化文件(
~/.plrc
)中设置标志::- set_prolog_flag(gui, false). :- set_prolog_flag(xpce, false).
-
用
--nopce
标志调用swipl
(对/usr/lib/swi-prolog/xpce.rc
的胡乱猜测) -
ssh localhost
,有效地模拟了一台仅限终端的机器,虽然有效,但必须有更好的解决方案。。。
是的,我可以卸载swi-prolog-x
包,但我可能想在未来编写GUI程序。理想情况下,我只想关闭GUI进行文档/调试。
编辑:
我已经找到了解决方案的一部分:目标online_help:give_help/1
和online_help:give_apropos
似乎正是我所需要的。我只需要将它们重新挂接到help
和apropos
上,也许可以通过prolog:help_hook/1
。有什么想法吗?
[~]# unset DISPLAY
swipl --nopce
这是一面没有证件的旗帜。。。通常,它仅在构建系统/
时使用