1) logic program
逻辑程序
1.
Application of Logic Programming in Relation Database Data Integrity Constraint;
逻辑程序在关系数据库完整性约束中的应用
2.
Research of Dynamically Changing Coverage of Immune DetectorBased on Logic Program;
基于逻辑程序的免疫识别器动态覆盖性初探
3.
The Correspondence between the Horn Logic Programs and Grammars;
Horn逻辑程序和形式文法之间的对应关系
2) logic programming
逻辑程序
1.
Semantics of Model Theory and Fixed Points for Logic Programming Based on Further Extension of Fuzzy Logic;
再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究
2.
The popular approaches are introduced and summarized,especially model checking based method,theorem proving based method,logic programming based method and so on.
对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向。
3.
Logic programming has been widely applied in mechanical theorem proving,relational database system, modularized programming and non-monotone reasoning.
逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。
3) logical program
逻辑程序
1.
Access control strategy is reasoned,through logical program,which makes reasoning of access control effectively.
提出访问控制的逻辑描述方法,满足最小模型语义的条件(不含负逻辑),并分析访问控制逻辑程序中不动点的迭代计算方法。
4) Program Logic
程序逻辑
1.
This paper summarizes the different methods describing the program logic in programming teaching and analyzes the corresponding deficiencies.
总结了目前程序设计教学中描述程序逻辑所采用的不同方式,分析了存在的不足,提出以“PAD”为工具描述程序逻辑的方法。
5) PLC Iogi program
PLC逻辑程序
6) Meta-programming in logic
元逻辑程序
补充资料：逻辑程序设计
将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。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.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条