摘要： <正> 内部谓词是Prolog中的非逻辑成分,对它的处理是研制实用部分计算器的难点和关键。本文分析和总结了逻辑程序部分计算的基本特征,并在讨论非逻辑成分对部分计算的影响的基础上,提出了一种处理内部谓词的分类法。最后还分别描述了各类谓词的部分计算算法。与其它文献相比,本文提出的分类法和计算算法更系统、更完善、更可靠、更有效,并已在GKD-Prolog编译系统的源级部分计算器中实现和应用。
Abstract: 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.
邓铁清,胡运发,高洪奎. Prolog中非逻辑成分的部分计算[J]. , 1990, 16(06): 41-49.
Dong Ticqing et al. PARTIAL EVALUATION OF NON LOGICAL COMPONENTS IN PROLOG[J]. , 1990, 16(06): 41-49.