SWI-Prolog汇编编译器6.6.1 英文绿色版

SWI-Prolog offers a comprehensive Free Software Prolog environmen,Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。同时它对一些通常的应用程序的编写也很有帮助。使用它能够比其他的语言更快速地开发程序，因为它的编程方法更象是使用逻辑的语言来描述程序。
运行速度要比amzi prolog的解释器快，和amzi的编译之后的程序差不多快，如果下载图形软件包XPCE的话，还可以开发有界面的程序。它的语法和amzi prolog相同，程序可以通用，不过内部谓词有些不同，有时候需要修改一下。

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