江明德 孙成政 童頫 丁利亚 鲁汉榕 程代杰 沈一栋 慈云桂 沈祖梁

4元组 分布算法 并行执行模型 子句 PROLOG语言 可终止 AND并行 程序树 处理机 递归 应用程序 实现策略 图形模式 义兴 循环谓词 子目标节点 模拟实验研究 子目标 程序设计语言 子句体 类型检验 并行处理技术 OR并行 分布策略 平均并行度 主副本 虚拟存取方法 并行推理机 总目录 识别算法