1) parallel constraint logic programming
并行约束逻辑程序设计
2) 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)解决布局规划问题。
3) CILP
约束归纳逻辑程序设计
4) PCILP
分布式并行逻辑程序归纳设计
5) constraint logic programs
约束逻辑程序
1.
This paper presented a new semantics of constraint logic programs,i.
首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征。
6) concurrent constraint programming
并发约束程序设计
1.
Constraint programming especially constraint logic pro gr amming(CLP)and concurrent constraint programming(CCP)is becoming more and more important in the field of AI programming.
约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。
补充资料：逻辑式程序设计
逻辑式程序设计
logic programming
}uoJ ishi ehengxu shell逻辑式程序设计(1雌‘cp找心ranuning)编写逻辑程序的方法与过程。逻辑程序由单元逻辑子句(也称事实，例如:p(x))和条件逻辑子句(也称规则，如:p(x)~q(x)，其中p(x)为子句头，q(x)为子句体)组成。逻辑程序设计的主要任务在于用单元子句和条件子句描述领域知识中的事实和规则，作为求解问题的前提，然后根据推理规则求解问题。 逻辑程序设计源于法国数学家J.Herbrand的开创性工作。早在1930年，Herl〕rand就证明了可以用机械的方法判定逻辑子句的可满足性。1965年，美国J.A.Robi~提出了面向计算机的合一算法和归结原理。1971年，R.Kowalski在上述工作的基础上，论证了一阶谓词逻辑的子集(即E匕nl子句逻辑)可以解释递归过程，从而开辟了逻辑式程序设计的新领域。遵循Kowalski的路线，法国马赛大学的A.G月merauer等人首先用PORTRAN语言实现了一个自动但效率较低的证明程序，并命名为Prolog。70年代后期，D.H.D.Warren等人在英国爱丁堡大学实现效率较高的编译型PrOI呢版本。80年代至今，逻辑式程序设计沿着并行化和约束化两大方向继续发展。 逻辑式程序设计的一个重要方面是H6rn逻辑程序设计。H6nl逻辑程序由1叫I(川1子句(即不带否定的谓词公式最多不能超过一个，例如:p(x)一q(x)，其中p(x)为子句头，q(x)为子句体)组成。H6nl逻辑程序设计的基本内容包括如何构造数据结构，定义程序和求解问题等。E佑m逻辑程序中数据结构统一为项。项是树形数据结构，可以表达任意复杂的数据对象。最简单的项是逻辑常量与逻辑变量。操作数据结构的唯一方法是通过合一操作，合一操作递归地通过项的等同比较，或逻辑变量例化，使得被操作的项变成等同项。它具有变量赋值，结构匹配，结构分解与合成等多种功能。通过定义表达事实的单元子句和表达规则的条件子句定义程序。通过提出问题启动和执行程序。程序的执行过程为SLI〕归结过程。SLI)是Rd〕i~一般归结方法在Horn逻辑条件下的精化。它是一种反驳式的推理方法。推理序列是逐步递归地构成的，最初结点为原始目标或问题，它是推理序列的起点。以后每一步均由一种计算规则R规定从目标中选取一个子目标。使用此子目标和逻辑程序中所有可能的卜k，nl子句头合一，实施一步SL归结，把产生的归结式作为推理序列的新结点。重复上述过程，直至产生空结点或归结失败为止。 Holl飞子句和一般子句的差别在于一般子句允许有否定条件(例如，p~一q，r)。在卜场角子句逻辑中，不能直接证明一个否定目标。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条