此项目是关于为代理实现基于逻辑编程的推理引擎。我们开始于科瓦尔斯基和冯的抗 v 验证程序的实现，作为在 Prolog 中编写的任何时间算法。
版本历史记录
- 版本 gloria-v.1.1.2 发布于 2007-10-23
若干修复和更新 - 版本 gloria-v.1.1.2 发布于 2007-10-23
软件信息
- 软件分类： 网络与互联网 > 其他
- 发布者： gloria.sf.net
- 许可： 免费
- 价格： N/A
- 版本： 1.1.2
- 适用平台： windows
此项目是关于为代理实现基于逻辑编程的推理引擎。我们开始于科瓦尔斯基和冯的抗 v 验证程序的实现，作为在 Prolog 中编写的任何时间算法。