张晨曦 李晓梅 王志英 刘桂仲 孙成政 江卫国

规则库 演绎数据库 数据库管理系统 计算机系统结构 并行计算机 数据库操作 Prolog 复合函数 数据流计算机 PROLOG语言 抽象机 并行执行模型 事实库 编译实现 PROLOG 模拟实验研究 逻辑程序 编译器 内部谓词 平均并行度 顺序推理机 实现技术 并行算法 PROLOG程序 模拟实验系统 并行推理机

长沙工学院计算机系 长沙工学院 长沙工学院计算机科学系