linux - Ubuntu中的Prolog编程

Question

我对玩 prolog 很感兴趣，我已经安装了 swi-prolog 并添加了存储库，以防万一有人对我使用的哪个命令感兴趣:

% sudo apt-add-repository ppa:swi-prolog/stable
% sudo apt-get update
% sudo apt-get install swi-prolog

我如何真正开始在我的 linux 机器上编写 prolog 代码？对于我的常规编程，我使用 VIM 编写/编辑/调试并使用终端进行编译。可以用vim写prolog吗？我如何编译或使用 prolog 解释器(我认为这就是它的名称)？

Answer 1

是的，您可以使用任何文本编辑器，包括。虚拟机。一旦你编写了一个 Prolog 源文件，比如 file.pl，你可以像这样将它加载到 SWI-Prolog 中:

swipl -s file.pl

这将编译您的文件并将您带到一个交互式 shell，然后您可以在其中针对文件中的定义进行查询。

如果你想在批处理模式下使用你的 Prolog 程序，你可以使用:

swipl -s file.pl -t goal

其中 goal 是您要评估的目标/查询。请注意，在这种情况下，您将无法选择寻求替代解决方案。