开发者 gloria.sf.net

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