GLORIA 1.1.2

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

关于 GLORIA

此项目是关于为代理实现基于逻辑编程的推理引擎。我们开始于科瓦尔斯基和冯的抗 v 验证程序的实现,作为在 Prolog 中编写的任何时间算法。