SWI-Prolog 提供一个免费的 Prolog 编程语言环境。包括一个图形化工具包 XPCE 。该项目 1987 年开始开发，在研究和教育领域中广泛使用。

SWI-Prolog offers a comprehensive Free Software Prolog environmen,Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。同时它对一些通常的应用程序的编写也很有帮助。使用它能够比其他的语言更快速地开发程序，因为它的编程方法更象是使用逻辑的语言来描述程序。

运行速度要比amzi prolog的解释器快，和amzi的编译之后的程序差不多快，如果下载图形软件包XPCE的话，还可以开发有界面的程序。它的语法和amzi prolog相同，程序可以通用，不过内部谓词有些不同，有时候需要修改一下。

软件特点：

内核受LGPL许可证。Prolog库分布在GPL下额外的声明,允许使用专有应用程序。许可证页面上可以找到的细节。
快速编译。如。,加载140000行代码分布在500年2.3秒source-files AMD 5400 +系统。
内存泄漏的健壮和自由。在使用多个服务器运行24 x7(包括web服务)。
小。完整的开发环境,包括图形、图书馆和很多接口包需要约。
对于大型应用程序。没有限制项目大小、atom-length term-arity或整型值。没有性能下降谓词与许多(索引)的事实。
无限的整数,有理数运算基于GMP图书馆。
全面的内置的谓词,覆盖了实际ISO标准的第1部分中,爱丁堡Prolog标准和第五名的重要部分和SICStus序言。公平的兼容性小贝,YAP GNU-Prolog。
和更多的