什么是适用于Linux的Prolog IDE？
我需要为一个类编写一些Prolog程序。
任何build议？
（X）Emacs的Prolog模式。
如前所述，您可以使用SWI-Prolog。 如果你喜欢Eclipse，那么有一个将SWI-Prolog集成到Eclipse中的Eclipse插件。 通过这种方式，您将拥有两全其美的function，例如Eclipse的SVN等function以及SWI-Prolog的graphicsdebugging器。 值得检查。
SWI-Prolog附带优秀的IDE工具，Emacs克隆文本编辑器，交互式debugging器，完整的可浏览帮助系统和文档。 试一试。
我还没有尝试过（主要是因为我从来没有想过在这之前将“Prolog”和“NetBeans”结合起来），但似乎还有Prolog支持NetBeans 。 这不是一个简单的插件，而是一个教程，展示了如何将Prolog支持添加到NetBeans。
开始的一个好的方面是使用Emacs默认的Prolog模式和这里描述的添加。 你也可以尝试ediprolog ，其目的是为了更紧密的Emacs-Prolog集成。
Ideone支持Prolog。 您只需使用浏览器就可以在线使用它。
Prolog开发工具（ProDT）是一个Prolog集成开发环境（IDE），其function与Eclipse的Java IDE一样丰富，为开发人员提供了一个单独的环境，可以从代码版本控制Prolog项目的开发，testing执行等…
这个项目站在Eclipse的项目之上，利用其已有的特性和可扩展性，并且可以在任何Eclipse环境下工作，包括windows，linux和mac OSX。
它支持作为潜在的解释者：SWI序言，XSB序言，B序言
该网站有关于该项目的更多信息，包括安装和function列表： http ： //prodevtools.sourceforge.net/
希望你能find它有用！ 🙂
SPIDER是一个基于Eclipse的SICStus Prolog IDE。 SICStus Prolog也有一个非常有用的Emacs模式。
如果你习惯了Emacs环境，我会推荐Ciao发行版。 转到： http : //ciaohome.org/
我只是使用Vim或jEdit。 Prolog作为一种语言并不真正适合于强大的IDE支持。 一方面，它是dynamicinput的，它将巨大的扳手投入到工具中。 另一方面，这是一种基于逻辑的语言，这意味着“代码stream”（您构build程序的顺序）是非线性的。 构build高级IDE的现有技术并不适用于这种范例。
你可以使用Gprolog，我们在课堂上使用它。 使用consult（'filename'）来加载数据库。
Visual Prolog （与Wine合作）。
swi prolog和emacs扩展程序几乎在每个linux发行版都预装了。 您可以使用例如下面的和X11启用（graphics）环境中的命令来检查。 这应该打开一个新的窗口与内置的Emacs克隆。
% swipl ?- emacs. 老实说，我不能看到一个“IDE”在prolog上帮了大忙。 它只会帮助find语法错误。 其余的在debugging和思考过程中。
使用任何编辑器获取语法突出显示，然后就可以开始了。
