开始使用prolog的好IDE

Question

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

我之前没有使用Prolog,我的公司需要构建一个使用Prolog的程序.

因此该程序将在商业上使用.

所以有些问题:

1)Prolog是否使用编译器来编译程序.像gcc一样用于c？

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

3)我已经在Linux上使用GNU Emacs多年了.我在考虑使用Prolog.el包吗？对此有何评论？

非常感谢任何答案,

Answer 1

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

2. 尽管SWI-Prolog是开源的(GPL),但它可以用它开发商业应用程序,就像其他几个开源的Prolog实现一样,如GNU Prolog和YAP.除了Amzi!Prolog还有其他几种商业产品.Visual Prolog与Prolog的ISO标准不同,大多数Prolog程序员都不认为它是"真正的prolog".SICStus Prolog是符合ISO标准的商业Prolog实现.还有一些其他类似Prolog的但有大量扩展,例如ECLiPSe(不要与IDE混淆)和Mercury.多年来,Prolog的许多商业实施已经过时,因为IF Prolog被MINERVA取代.以下是2006年的实施列表.

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