| 约束逻辑程序部分演绎过程的研究 |
| |
| 引用本文： | 陶意,刘椿年.约束逻辑程序部分演绎过程的研究[J].计算机学报,1997,20(3):238-244. |
| |
| 作者姓名： | 陶意 刘椿年 |
| |
| 作者单位： | 北京工业大学计算机科学系 |
| |
| 基金项目： | 国家自然科学基金,国家863计划基金 |
| |
| 摘 要： | 约束逻辑程序的部分演绎是一个新兴的研究领域。本文提出了一个新的基于程序变换的ＣＬＰ部分演绎的过程。该过程以程序－目标为输入，经过一系列程序变换后终止，输出结果程序－目标对。该过程保证结果程序－目标对和输入程序－目标对计算等价，并且程序Ｐｎ解目标Ｑｎ比程序Ｐ０解目标Ｑ０效率更高。本文提出的方法语给出了一个ＣＬＰ程序部分演绎的运行这例。
|
| 关 键 词： | 约束逻辑程序 部分演绎 程序设计 |
A PARTIAL DEDUCTION PROCEDURE FOR CONSTRAINT LOGIC PROGRAMS |
| |
| TAO Yi,LIU Chunnian.A PARTIAL DEDUCTION PROCEDURE FOR CONSTRAINT LOGIC PROGRAMS[J].Chinese Journal of Computers,1997,20(3):238-244. |
| |
| Authors: | TAO Yi LIU Chunnian |
| |
| Abstract: | Partial deduction of constraint logic programs is a newly emerging research field. This paper presents a new procedure of partial deduction of various constraint logic programming languages. The procedure inputs a program-goal pair (P0, Q0) and outputs the resultant program-goal pair (Pn, Qn). The procedure always terminates and the computational equivalence of the program-goal pairs (P0,Q0) and (Pn, Qn) is preserved. Pn is more efficient in solving Qn than P0 in solving Q0. A partial evaluator based on the procedure had been implemented, and a running example of partial deduction of a CLP(BOOL) program is given. |
| |
| Keywords: | Constraint logic programming partial deduction (partial evaluation) |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
