王宝树 王克文 胡永刚 童梅 赵昕昕 徐海龙 陈荣 王献昌 张运桢 李智勇 雷英杰 高全泉 吴国庆 MOHAMEDHamada 梁意文 叶澄清 申晓勇 郑守华 谢立 王坚 鞠九滨 苏国强 揭玮 苑森淼 姜云飞 张杰明 陶杰 商立国 王涛 刘椿年

广义知识库 对象式逻辑程序设计 模式推导 对象式程序设计 自然语言理解 高级程序设计语言 数据描述 错误诊断 紧缩 多元化 累加性 或并行 询问语句 人工智能 专家系统 归约 群调度 目标求解算法 数据库系统 非单调推理 知识信息处理系统 子句 叙述形式 逻辑程序语言 辅助函数 数据结构 Prolog 知识程序设计环境 传统数据库 优缺点