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

在Ubuntu上，我开始使用emacs，至少使用语法高亮：

（该页面上有2条emacs建议^）

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

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

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

但是如果你喜欢像VIM这样的低级编辑器，你将不得不使用swi-prolog中内置的调试和跟踪工具，请参阅：

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

Answer 3

我个人在解释的环境中使用gprolog或swipl。因此，您在mydb.pl文件中编写事实和规则，并在同一目录中打开解释器。一旦提示出现，您就可以查询

['mydb.pl'].

用于加载数据库。现在你可以看到警告\错误或从prolog解释器内部开始查询。

Answer 4

您可以使用任何文本编辑器编写代码。只需确保使用.pl扩展名（如fibo.pl）保存代码。之后打开终端并转到保存代码的位置。在那之后的类型prolog之后写了没有.pl扩展名的文件的名称并结束它。 [ 'FIBO']。并按回车键

例如 - cd / home / student / 14917 序言 [ 'FIBO']。

这里fibo.pl是我的程序名称

Answer 5

我在Mac上使用SWI prolog和Sublime Text。工作真的很好。在Sublime Text中，您只需按cmd - B即可运行代码，输出将显示在Sublime Text内的窗口中。有一个包here。