文件名称：ExProlog 1.0.0.7
文件大小：184KB
文件格式：RAR
更新时间：2014-11-11 06:04:47
.net prolog c#
间续开发中的IEPI组件 - ExProlog 内含.net DLL一份，并附带帮助文档 ExProlog 是爆炸专家系统项目的一部分，目的是在.NET平台上提供分明Prolog推理机， 开发者可以使用它辅助推理过程，管理知识库。 UPDATE INFO 1.0.0.7 增添了与添加-推理配套的删除-撤回功能 重新整合了类结构，删去了ProFile类，增加了Master类等 Engine类新加入GetTriggerClauses方法，用于获取指定事实的推理条件 1.0.0.6 为数据安全开关加设密码，防止非法进程的侵袭 1.0.0.5 提供内部知识库的公开接口，并设置安全开关，满足需要使用外部数据库的情况 实现类的可串行化，方便web应用的开发 1.0.0.4 优化数据格式，使得更多的常用字符可以保存在字符串论域中 1.0.0.3 增加推理功能，根据动态加载的子句推出新事实 1.0.0.2 添加shell，可以实现从文本或.pro文件导入horn子句 添加外部知识向导窗体，以管理知识库 事实和规则均可在运行时动态导入 1.0.0.1 支持带有中间变量的一级谓词 增加Closed堆栈，防止死循环 1.0.0.0 实现一级谓词PIE推理问答，不支持中间变量 支持回溯和截断
【文件预览】：
IEPI.ExProlog.Prolog.dll
IEPI.ExProlog.chm