逻辑程序的AND并行性开发与数据相关性分析

• 作 者: 曹鹏 胡守仁 黄志毅
• 机 构: 广州军区技术局,国防科技大学计算机科学系
• 出 处: 计算机学报
• 发表日期: 1993年2期
• 关键词: 逻辑程序 并行性 数据相关性 AND AND-parallelism data dependency entry mode formal mode.
• 基金项目: 霍英东教育基金

为了高效地开发逻辑程序的AND并行性,必须进行数据相关性分析.本文对子目标的数据相关性,特别是变量的相关性进行了深入的分析,并对分析技术给出了进一步的说明.在此基础上我们实现了一个通用PROLOG抽象解释器GK-GPAI系统.最后,在AND并行性的识别能力方面,我们将GK-GPAI系统与其它开发AND并行性的方法进行了比较,由此可以看出我们方法上的优越.