Ubuntu中的Prolog编程

Question

我有兴趣与prolog一起玩和fuxing,我已经安装了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

是的,您可以使用任何文本编辑器,包括.VIM.一旦你编写了一个prolog源文件,比如说file.pl,你可以将它加载到swi-prolog中,如下所示:

swipl -s file.pl

这将编译您的文件并带您进入交互式shell,然后您可以根据文件中的定义询问查询.

如果要以批处理模式使用prolog程序,可以使用:

swipl -s file.pl -t goal

goal您要评估的目标/查询在哪里.请注意,在这种情况下,您将无法选择要求其他解决方案.

Answer 2

在Ubunutu上,我开始使用emacs,至少使用语法高亮:

(该页面上有2条emacs建议^)

但现在我在愤怒中使用prolog,我使用一个名为PDT的Eclipse插件:

特别有用的是实时逐行调试和跟踪,因此您可以单步执行,跨越各个谓词,监视变量名称等.就像您在eclipse中找到的其他真实IDE一样.

可能只是值得安装,如果你要使用它很多,因为安装是很多工作,但它是一个伟大的IDE.

但如果您喜欢VIM等低级编辑器,则必须使用swi-prolog中内置的调试和跟踪工具,请参阅:

要弄清楚奇怪而美丽的prolog翻译是如何工作的,使用某种类型的示踪剂是必须的.