SWI Prolog

SWI-Prolog为进行逻辑推理的编程软件提供了全面的自由软件Prolog环境。

SWI-Prolog为进行逻辑推理的编程软件提供了全面的免费软件Prolog环境。连同其图形工具包XPCE，其开发始于1987年，并受到实际应用程序需求的推动。如今，SWI-Prolog广泛用于研究和教育以及商业应用。

swi-prolog

具有免费许可证的所有平台的SWI Prolog替代品