我正在搜索适用于Mac OS X的SWI Prolog编辑器，但找不到，所以有没有，或者我必须使用另一个编辑器来构建Prolog文件？
感谢
我自己不使用macOS-X，但有两个非常好的SWI Prolog编辑器是跨平台的（因此也适用于OS-X）：
- PDT与Eclipse IDE配合使用。它具有良好的语法着色、IDE中的Prolog控制台、动态生成的调用图可视化，仅举它所具有的众多功能中的一小部分。看见http://sewiki.iai.uni-bonn.de/research/pdt/docs/v2.1/start我相信Prolog代码的重构还没有实现，但开发人员计划在未来也添加这个很酷的功能
-
PCE-Emacs，Jan Wielemaker的Emacs实现，使用SWI-Prolog的图形库XPCE。UI元素看起来非常像Windows'95，但不要被这里的外观所欺骗。PCE-Emacs完全适应了SWI-Prolog，可能是SWI-Prollog最通用的编辑器。您只需在SWI Prolog控制台中键入
emacs.即可运行它
希望这能有所帮助！
假设您不仅考虑IDE，还考虑文本编辑器，Logtalk发行版包括对大量文本编辑器的支持，这些编辑器也可用于编辑Prolog源代码。看见https://github.com/LogtalkDotOrg/logtalk3/tree/master/coding以获取所有支持的文本编辑器的列表。
我使用OS X，在Emacs中使用prolog模式。
这个版本具有所有预期的功能，包括语法高亮显示、自动缩进以及与劣质Prolog进程的完全交互。该模式原则上支持任何Prolog系统，尽管它主要是在考虑SWI Prolog的情况下进行维护的。
它缺乏PCE-Emacs的许多功能，但具有GNU Emacs的所有功能，我对此很满意。