一款功能强大的开源逻辑编程语言实现，广泛应用于人工智能、自然语言处理和知识推理领域。
行业分类： 荷兰开源软件、逻辑编程、人工智能、自然语言处理
成立时间： 1987年（由Jan Wielemaker创立）
所属国家： 荷兰网站（由SWI-Prolog社区维护）
网站语言： 支持多语言（含英语等）
服务区域： 全球
官方网站： www.swi-prolog.org
网站介绍： www.swi-prolog.org 是SWI-Prolog编程语言的官方网站。Prolog是一种经典的逻辑编程语言，而SWI-Prolog由荷兰计算机科学家Jan Wielemaker于1987年创立。它以其丰富的内置库、高效的执行速度和跨平台支持，成为全球大学里教授人工智能和计算语言学最常用的Prolog实现之一。对于从事专家系统、知识图谱、定理证明和自然语言处理研究的科研人员和学生来说，SWI-Prolog是一个不可或缺的免费工具。
对于对编程感兴趣但觉得Java或Python太常规的普通爱好者，Prolog提供了一种完全不同的思维方式：它不是告诉计算机“怎么做”，而是描述“是什么”和“规则是什么”，让计算机自己推导出答案。SWI-Prolog官网提供了极为详细的入门教程和在线文档，即使是没有任何编程基础的普通用户，也可以通过“Getting Started”指南逐步体验逻辑编程的神奇之处。网站还支持直接在浏览器中运行Prolog代码的演示环境。
SWI-Prolog完全开源免费，社区非常活跃。官网汇集了数千个第三方贡献的扩展包，覆盖了从网页开发（HTTP服务器）到语义Web（RDF处理）的各种应用场景。它还提供了与C、Java和Python等语言的接口，方便集成到复杂的现代软件系统中。
使用说明： 访问 www.swi-prolog.org ，在“Download”页面下载对应操作系统的安装包。在“Documentation”页面查阅入门教程和函数参考。在“Packages”页面浏览和安装社区贡献的扩展包。在“Community”页面加入论坛或邮件列表。