文件名称：ExProlog Core 1.0.0.3
文件大小：159KB
文件格式：DLL
更新时间：2014-05-13 08:07:43
专家系统 推理机 prolog
预发布 IEPI.ExProlog core 1.0.0.3 此DLL库提供在C#语境中的prolog推理机的功能 详细资料将日后发布 1.0.0.3 增加推理功能，根据动态加载的子句推出新事实 1.0.0.2 添加shell，可以实现从文本或.pro文件导入horn子句 添加外部知识向导窗体，以管理知识库 事实和规则均可在运行时动态导入 1.0.0.1 支持带有中间变量的一级谓词 1.0.0.0 实现一级谓词PIE推理问答，不支持中间变量 支持回溯和截断