本软件下载地址未录入，如想要软件请评论，我们会补上！
SWIProlog的为您提供了Prolog的逻辑程序设计语言，其目的是为计算语言学和人工智能应用的全面和强大的开发环境。
依靠一个Prolog的虚拟机上定义的指令，SWIProlog的有一个更加快速的编译器和调试模式只有一点降低了系统的运行速度。
应用程序中包含了灵活，直观的界面，使您能够用C / C ++代码的工作，在不降低性能为大型应用和无限的整数值的支持。
静态和动态代码可以轻松收录任何说法，而源代码级调试通过XPCE支持图形。
SWIProlog的捆绑了Prolog的交叉参考，执行探查器输出指令的统计数据，以及一个错误检查工具。该软件包还包括库的集合，程序员可以找到有用的，即组件约束处理规则，接口库HTML，RDF和XML解析器，web服务器库会话管理，HTML和HTTP授权的努力等。
v7.3.25
COMPAT：thread_statistics/1使用人类可读的线程ID。
增加：支持引擎（作用因子）作为一等公民。见engine_create/3和朋友。
FIXED：I_YIELD在调试模式。
FIXED：统计/1（重复键除外）
