通过SWI-Prolog命令行启动PceEmacs

时间:2019-06-23 22:01:57

标签: prolog swi-prolog

我想使用PceEmacs编辑器,但是每当我使用命令emacs.时,都会遇到错误代码 ERROR: Undefined procedure: emacs/0 (DWIM could not correct goal)。普通的内置命令似乎可以正常使用,所以我不知道我是否只是错误地使用了emacs命令。

2 个答案:

答案 0 :(得分:0)

您可能尚未安装所有内容。您需要告诉我们您正在使用什么操作系统,如何安装SWI-Prolog以及类似的东西。

例如,在没有PCE的安装中,您将没有PceEmacs。在我故意没有PCE的计算机上,我看到的与您完全一样:

$ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.1.8-43-gb0168ea4a-DIRTY)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- emacs.
ERROR: Unknown procedure: emacs/0 (DWIM could not correct goal)

这是因为我的构建脚本中包含:

cmake -G Ninja -DSWIPL_PACKAGES_X=OFF ...

答案 1 :(得分:0)

我遇到了同样的问题,发现问题是我没有构建支持library(pce)的SWI-Prolog。

事实证明,我缺少很多图书馆。您可以通过从swipl运行check_installation.来检查缺少的内容。

不幸的是,我对Mac OS一无所知,但是对我来说,与Linux配合使用的解决方案是仔细检查完整安装所需的软件包清单(如下),并确保已安装每个软件包。在您知道每个都已安装之后,请继续并重建SWI-Prolog。

The list for Debian based distributions

The list for Fedora based distributions