我搜索了互联网和stackoverflow.com,但什么也没得到.
谁可以给我比较各种Prolog编译器/ IDE,如Visual Prolog和SWI-Prolog?
提前致谢!
小智 11
如果你从SWI-Prolog开始,那就很难出错.虽然它比这里讨论的大多数替代方案慢,但它非常强大,具有广泛的库支持,具有良好的GUI构建系统(XPCE),并且使用允许其在专有应用程序中使用的许可证.
为了更好的速度,将大多数非GUI SWI-Prolog应用程序转换为在YAP Prolog下运行是一件简单的事情.
如果速度是最重要的方面,你应该考虑GNU-Prolog.我最近开发使用Amzi!Prolog及其Eclipse IDE(不要与ECLiPSe编程语言混淆).调试完成后,我将注意力转向了时间安排.移植到SWI-Prolog和GNU-Prolog在Windows和Linux上相当简单,因为那时代码是相当标准的"ISO"Prolog.我的时间显示了Amzi!和SWI在速度上相当,GNU-Prolog明显更快.
事实证明,代码花费了大部分时间在一个非常数字的部分.虽然Amzi!和SWI都以任意精度实现精确的整数运算,结果我的要求只是在32位GNU-Prolog的整数限制范围内.
此外,GNU-Prolog很容易链接到C中那个关键部分的重写.混合代码就是我在生产中使用的.