prology程序部分计算的研究与实现

部分计算是一种重要的程序变换方法和编译优化技术，prolog程序特别适合于部分计算。目前，国际上已开始了几个prolog程序部分计算的原理模型和专用工具，但其中存在以下若于问题:(1)关于prolog程序部分计算的基本原理和特征缺乏系统的认识;(2)现有的两种检测逻辑程序中循环的方法，并没有最后解决部分计算的终止性问题》;(3)关于prolog中内部谓词的处理不够究善，而且其中还隐含了许多语叉错误;(4)部分计算算法相当低效；(5)现有的部分计算器局限于各自的应用领域，缺乏通用性。本文结合我们研制gkd－prolog编译系统[14]剖中一个实用源级部分计算器的工作实践，全面、系统地讨论了纯prolog的部分计算、逻辑程序的循环检测以及全prolog的内部谓词处理。