SC-PROLOG解释系统中的约束逻辑程序设计方法

The Constraint Logic Programming Method

约束逻辑程序设计（ＣＬＰ）方法是提高ＰＲＯＬＯＧ语言效率的一种崭新方法，本文针对ＳＣ┐ＰＲＯＬＯＧ解释系统的实现介绍其相应设计思想，从域变量含义入手，提出了域及约束的存储方法以及约束机制的实现算法。

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.