王克宏 夏却利 孙斌 黄志毅 程永丰 王晓国 谢树煜 杨振山 钟伯刚 万金友 韦鹓 樊建国 杨大志 黄明 胡守仁 李宪章 梁俊 吴永明

谓词 分布式系统 查询 递归 优化 归结 Horn子句 软件改造技术 匹配 算法 汉化 子句 语义 推理 控制结构 知识数据库 模糊逻辑推理 人工智能 数据相关性 知识表示 决策支持系统 逻辑程序设计 模块化程序设计 专家系统 编译 数据库技术 加权 与（AND）并行性 元逻辑程序 知识库