| SC-PROLOG解释系统中的约束逻辑程序设计方法 |
| |
| 引用本文： | 林琪.SC-PROLOG解释系统中的约束逻辑程序设计方法[J].计算机工程与科学,1997,19(1):68-72. |
| |
| 作者姓名： | 林琪 |
| |
| 作者单位： | 国防科工委指挥技术学院 |
| |
| 摘 要： | 约束逻辑程序设计（ＣＬＰ）方法是提高ＰＲＯＬＯＧ语言效率的一种崭新方法，本文针对ＳＣ┐ＰＲＯＬＯＧ解释系统的实现介绍其相应设计思想，从域变量含义入手，提出了域及约束的存储方法以及约束机制的实现算法，是对逻辑设计方法研究的一点体会
|
| 关 键 词： | 约束逻辑程序设计，域，回朔，约束 |
The Constraint Logic Programming Method |
| |
| in the SC,PROLOG Interpreter SystemLin Qi.The Constraint Logic Programming Method[J].Computer Engineering & Science,1997,19(1):68-72. |
| |
| Authors: | in the SC PROLOG Interpreter SystemLin Qi |
| |
| Affiliation: | The lnstitute of Command and Technology |
| |
| Abstract: | This article introduces the designing method of constraint logic programming.The method is a new way to improve the efficiency of PROLOG.The corresponding work in the SC PROLOG interpreter system is emphasized,on the basis of the conception of domain.The domain structure and the algorithm of implementation are proposed. |
| |
| Keywords: | constraint logic programming domain backtracking constraint |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
