prolog - 开始使用 prolog 的好 IDE

Question

关闭。这个问题不满足Stack Overflow guidelines .它目前不接受答案。












想改善这个问题吗？更新问题，使其成为 on-topic对于堆栈溢出。

7年前关闭。




Improve this question




我需要开始为我的工作学习 Prolog。

我以前没有使用过 Prolog，我的公司需要构建一个将使用 Prolog 的程序。

因此该程序将用于商业用途。

所以一些问题:

1) Prolog 是否使用编译器来编译程序。就像 gcc 对 c 所做的那样？

2) Prolog 有商业标准吗？我只听说过 SWI Prolog。

3) 我多年来一直在 Linux 上使用 GNU Emacs。我正在考虑使用 Prolog.el 包？对此有何评论？

非常感谢您的任何答案，

Answer 1

我所熟悉的最精致的 Prolog IDE 是用于 Amzi 的基于 Eclipse 的 IDE!序言。这是一个商业产品，但可以在学生版中免费下载和使用 IDE。它可能是 Prolog 初学者的理想选择。免责声明:我可能有偏见，因为我在 Amzi! 的支持论坛上提供了很多免费建议。我认为有一个开源 Eclipse 插件也支持一些开源 Prolog 实现。 更新 (2016 年 5 月)Amzi! Prolog v. 10 现在有 become open source使用类似 MIT 的许可证。

尽管 SWI-Prolog 是开源 (GPL)，但可以用它开发商业应用程序，就像 GNU Prolog 和 YAP 等其他几个开源 Prolog 实现一样。除了阿姆兹! Prolog还有其他几种商业产品。 Visual Prolog 与 Prolog 的 ISO 标准有很大不同，以至于大多数 Prolog 程序员并不认为它是“真正的 prolog”。 SICStus Prolog 是符合 ISO 的商业 Prolog 实现。还有一些类似 Prolog 但具有大量扩展的其他工具，例如 ECLiPSe(不要与 IDE 混淆)和 Mercury。多年来，Prolog 的许多商业实现已经过时，就像 IF Prolog 被 MINERVA 取代一样。这是 a list of implementations从 2006 年开始。

我认识很多程序员，他们高度评价 GNU EMACS 的 Prolog 模式。但是我认为初学者会受益于集成的调试器/编辑器，例如 Amzi! Prolog 提供。 SWI-Prolog 有一个基于 XPCE 正在构建的图形化 IDE，这是 SWI-Prolog 为跨平台开发选择的图形界面库。几乎所有的程序员编辑器都会为 Prolog 提供语法高亮显示，并安装了正确的定义文件。