吉波 胡守仁 田野 徐志农 张雷 邓铁清 高峰 王涛 孙金萍 王志英 吴泉源 王建勋 黄志毅 苗占禄 赵晔 钟宁燕 刘富春 雷英杰 孙晨 余金山 刘椿年 陶意 赵果林 邢清华 黄厚宽

元级推理 开发环境 AI Horn子句 不动点语义 Herbrand解释 软件开发 专家系统 与（AND）并行性 软件工程 数据相关性 部分演绎 并行执行 关系数据库 逻辑学 PROLOG语言 PROLOG Petri网 Prolog程序 编译 Warren抽象机（WAM） Prolog编译 面向对象程序设计 向前推理 VisualProlog Herbrand模型 编程语言 推理控制 非精确推理 函数程序设计