葛家翔 吴泉源 俞成宜 江卫国 杨文婷 金芝 高洪奎 李雪莹 胡守仁 王志英 李德彩 胡运发

子句体 知识库维护 Web 信息安全 一致化 内部谓词 框架 数据字典 元级扩充 Prolog 知识库协调性 数据库 管理部门 归结原理 预编译 部分计算 非逻辑 子目标 模块化 演绎数据库 查询语言 数据库管理系统 程序部分 研究与实现 计算机应用 专家系统

长沙工学院