GNU Prolog 1.3.0

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.3/5 - ‎36 ‎评分

GNU Prolog 是逻辑编程语言 Prolog 的免费实现(在 GPL 下)。它可以编译为本机代码,执行速度非常快。另一个功能是包含的约束解算器。

版本历史记录

  • 版本 1.3.0 发布于 2009-12-01
    若干修复和更新 {*}
  • 版本 1.3.0 发布于 2009-12-01

软件信息