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

摘要

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