SWI Prolog

SWI Prolog

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

网站:

特征

分类目录

具有任何许可的所有平台的SWI Prolog替代品

OpenCyc