摘要
内部谓词是Prolog中的非逻辑成分,对它的处理是研制实用部分计算器的难点和关键。本文分析和总结了逻辑程序部分计算的基本特征,并在讨论非逻辑成分对部分计算的影响的基础上,提出了一种处理内部谓词的分类法。最后还分别描述了各类谓词的部分计算算法。与其它文献相比,本文提出的分类法和计算算法更系统、更完善、更可靠、更有效,并已在GKD-Prolog编译系统的源级部分计算器中实现和应用。
This paper analyses and summarizcs the basic characteristics of the partial evaluation of logic programs. Based on the disscussion of the impacts of non logical components on partial evaluation, a classification of builtins is proposed. Also. The partial evaluation algorithms to all kinds of builtins are described.
出处
《计算机工程》
CAS
CSCD
北大核心
1990年第6期39-47,共9页
Computer Engineering
