CS序言

CS-Prolog:基于统一的约束求解器约束逻辑编程(CLP)是标准Prolog的一个很有前途的扩展。本文提出了一种新的约束逻辑编程语言约束求解器PROLOG(CS-PROLOG)。为了克服序言中的一些不足,设计了一种新的统一标准。本文简要介绍了解决这个问题的其他方法(Colmerauer的PROLOG II和Jaffar的PROLOG-Q)。讨论了标准逻辑程序设计语言的延迟机制。以求解线性方程组为例说明了CS-PROLOG的性能。CS-PROLOG使用四种规则:变量消除、树重写、方程前移和后替换。解释了Dincbas引入的一个域概念,并在此基础上引入了广义统一。给出了实数运算的扩展:这里的域概念可以看作不等式。CS-PROLOG是在PROLOG中实现的。这种实现比在C中实现的CLP系统(12000行)更小(1500行),并且效率合理。

软件也是这样同行评审按日记帐汤姆斯.