发现各种软件替代方案,找到更适合您的选择
SWI-Prolog 提供了一个完整的自由软件 Prolog 环境,用于进行逻辑推理的软件编程。结合其图形工具包 XPCE,该开发始于1987年,并始终围绕实际应用需求推进。
提供 1 个替代方案