1) constraint logic programming
约束逻辑程序设计
1.
Based on the constraint logic programming system BPU-CLP, the authors developed an intelligent tutoring system named BPU-ITS-Math, which is a student-oriented ITS aiming at high school mathematics tutoring.
以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math。
2.
Based on the Constraint Logic Programming(CLP) system BPU-CLP,this paper proposes a method to solve layout planning problem.
以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。
2) parallel constraint logic programming
并行约束逻辑程序设计
3) CILP
约束归纳逻辑程序设计
4) constraint logic programs
约束逻辑程序
1.
This paper presented a new semantics of constraint logic programs,i.
首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征。
5) logic programming
逻辑程序设计
1.
The backtracking mechanism is an important facility for logic programming.
回溯机制是逻辑程序设计的重要设施。
2.
Object-oriented logic programming has both the benefits.
逻辑程序设计是通过使用逻辑规则来解决问题,面向对象的程序设计是通过定义与使用对象的方法来解决问题。
3.
On the contrary, logic programming languages, based on Horn clause logic and resolution, allow existentially quantified variables and partial data structures but lack both deterministic.
相反 ,基于 HORN子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质 。
补充资料：逻辑程序设计
将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。1972年法国科莫劳埃小组实现了第一个逻辑程序设计语言PROLOG。1974年以后R.科瓦尔斯基进一步阐明了PROLOG的理论基础，并系统地发展了逻辑程序设计的思想。对于传统的程序设计来说，算法的逻辑意义往往被程序复杂的控制成分所掩盖，使程序的正确性难以得到证明。而且通常的高级程序设计语言属于过程性语言，需要在程序执行前详细规定运行步骤。科瓦尔斯基对传统的算法或对用通常高级语言编写的程序提出了一个著名的分析公式，即算法＝逻辑＋控制。其基本思想是要从根本上改变程序设计的方法：用户只需要编写程序的逻辑部分（逻辑程序设计之名由此而来），而系统中的解释程序则实施控制部分的职能。这种将逻辑与控制分开的方法具有下列的优点：①可以在控制部分设计之前不断改进逻辑程序。②可以改进控制部分而无需变动逻辑程序本身。③可以从程序说明中生成逻辑程序，加以验证和变换，而无需考虑其控制部分。④只需在逻辑程序中规定目标和实现这些目标的现有条件，也就是只需告诉系统做什么(What to do)，至于如何执行也就是说怎样做 (How to do)，则由系统的控制部分，即解释程序处理解决。
现行逻辑程序的基本语句属于一阶谓词演算的一个子集，HORN子句集。HORN子句的一般形式为：A1，...，Am←B1，B2，...，Bn，其中Ai(1≤i≤m)、Bj(1≤j≤n)都是原子公式，分别代表结论和前提的形式。前提部分是各原子的合取式，构成子句体，结论部分最多只有一个原子，称为子句头。由此可将HORN子句分成两个基本类型：①有头HORN子句（用来代表一条规则），例如，grandfather(x，z)←father(x，y)，father (y，z)代表：x是y的父亲且y是z的父亲，则x是z的祖父。有头无体的HORN子句是一断言（用来代表一个事实）。例如，father(A，B)代表：A是B的父亲，father(B，C)代表：B是C的父亲。②无头HORN子句，称为目标语句（用来代表结论的否定式）,例如，←grandfather(A，C)代表：A不是C的祖父。逻辑学家A.霍恩对这类子句性质作了详尽的研究，HORN子句即因此得名。
从问题归约的角度看，可将HORN子句解释为一过程，它将问题(目标)A归约为若干子问题（子目标）,每一子问题 Bi(1≤i≤n)又可解释为对其他过程(HORN子句)的调用。有头无尾的HORN子句则代表一个已知其解的基元问题。过程调用实际上是使构成子句体的一个原子（子目标）与某一子句头匹配，这就是运用归结原理中的合一的过程。因此逻辑程序的执行过程也就可以看成是定理证明过程，其中解释程序起定理证明器或问题求解器的作用。
HORN子句的过程调用(B1， B2，...，Bn)可按任意次序进行，适合于平行处理。HORN子句可作过程性的解释也可作陈述性的解释,运用比较方便。因此,以HORN子句为基础的逻辑程序设计语言PROLOG受到人们的重视（见PROLOG语言）。日本的第五代计算机系统的计划也推动了逻辑程序设计的研究。也有人认为，不同类型的问题需要不同风格的程序设计方法，在下一代的知识信息处理系统中除逻辑程序设计之外，还必须重视面向对象的程序设计、面向存取的程序设计、规则型程序设计，此外，建立与知识信息处理相适应的程序设计环境也是重要的课题。
参考书目
K.L.Clark and S.- A. Tarnlund, eds, Logic Programming, Academic Press, Inc., London,1982.
现行逻辑程序的基本语句属于一阶谓词演算的一个子集，HORN子句集。HORN子句的一般形式为：A1，...，Am←B1，B2，...，Bn，其中Ai(1≤i≤m)、Bj(1≤j≤n)都是原子公式，分别代表结论和前提的形式。前提部分是各原子的合取式，构成子句体，结论部分最多只有一个原子，称为子句头。由此可将HORN子句分成两个基本类型：①有头HORN子句（用来代表一条规则），例如，grandfather(x，z)←father(x，y)，father (y，z)代表：x是y的父亲且y是z的父亲，则x是z的祖父。有头无体的HORN子句是一断言（用来代表一个事实）。例如，father(A，B)代表：A是B的父亲，father(B，C)代表：B是C的父亲。②无头HORN子句，称为目标语句（用来代表结论的否定式）,例如，←grandfather(A，C)代表：A不是C的祖父。逻辑学家A.霍恩对这类子句性质作了详尽的研究，HORN子句即因此得名。
从问题归约的角度看，可将HORN子句解释为一过程，它将问题(目标)A归约为若干子问题（子目标）,每一子问题 Bi(1≤i≤n)又可解释为对其他过程(HORN子句)的调用。有头无尾的HORN子句则代表一个已知其解的基元问题。过程调用实际上是使构成子句体的一个原子（子目标）与某一子句头匹配，这就是运用归结原理中的合一的过程。因此逻辑程序的执行过程也就可以看成是定理证明过程，其中解释程序起定理证明器或问题求解器的作用。
HORN子句的过程调用(B1， B2，...，Bn)可按任意次序进行，适合于平行处理。HORN子句可作过程性的解释也可作陈述性的解释,运用比较方便。因此,以HORN子句为基础的逻辑程序设计语言PROLOG受到人们的重视（见PROLOG语言）。日本的第五代计算机系统的计划也推动了逻辑程序设计的研究。也有人认为，不同类型的问题需要不同风格的程序设计方法，在下一代的知识信息处理系统中除逻辑程序设计之外，还必须重视面向对象的程序设计、面向存取的程序设计、规则型程序设计，此外，建立与知识信息处理相适应的程序设计环境也是重要的课题。
参考书目
K.L.Clark and S.- A. Tarnlund, eds, Logic Programming, Academic Press, Inc., London,1982.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条