SWI Prolog
SWI Prolog
软件
软件描述
SWI-Prolog 提供了一个完整的自由软件 Prolog 环境，用于进行逻辑推理的软件编程。结合其图形工具包 XPCE，该开发始于1987年，并始终围绕实际应用需求推进。
官方网站
访问软件的官方网站了解更多信息
官方认证
www.swi-prolog.org
安全链接HTTPS
什么是 SWI Prolog?
SWI-Prolog 提供了一个完整的自由软件 Prolog 环境，用于实现逻辑推理的软件编程。结合其图形工具包 XPCE，该系统自1987年开始开发，始终基于实际应用需求推进。如今，SWI-Prolog 广泛应用于研究、教育以及商业领域。
主要功能
🔄 替代方案
1 个选择
OpenCyc
OpenCyc 是 Cyc 技术的简化开放版本，Cyc 是世界上最大、最完整的通用知识库和常识推理引擎。Cyc 的开发公司 Cycorp 已成立了一个独立组织，即 OpenCyc。
