逻辑程序

多agent逻辑程序及其在协议验证中的应用

Multi-agent Logic Program and its Application to Protocol Verification

超小型PLC数字逻辑程序设计方法的应用

Application of Digital Logic Program Designing Method of Microminiature PLC

归纳逻辑程序设计（InductiveLogicProgramming，简称ILP）是机器学习中的一个较新的研究领域。

Inductive Logic Programming is a new research field in Machine Learning .

逻辑程序设计语言G（？）del的说明性语义

The Declarative Semantics of Logic Programming Language G (?) del

Horn子句逻辑程序的Petri网模型

A Petri Net Model for Horn Clause Logic Programs

在给出了多自认知逻辑程序的三值语义模型后，证明了该语义是和广义稳定集相互对应的。而当三值语义简化为二值时，对应的是P稳定集。

The three-value semantics for the multi-agent autoepistemic logic program corresponds to general stable semantics and the simplified two-value semantics corresponds to the P stable set .

提出了基于逻辑程序设计的DDL动作表示和推理支持。

Propose Logic Programming based action representation and reasoning support .

可以认为Prolog是迈向逻辑程序设计这一最终目标的第一步。

Prolog can be considered as a first step towards the ultimate goal of Logic Programing .

Prolog逻辑程序的测试方法

Testing method for Prolog logic program

逻辑程序设计LP与约束问题求解相结合，产生了约束逻辑程序设计CLP。

Constrained logistic program , CLP , is produced from combining logistic program with constrained problem derivation .

TMS与一般逻辑程序的语义等价性

The relationship between TMS and general logic programs

逻辑程序与PROLOG

Logic Programs and Prolog

Horn子句和上下文无关方法的相似性、对应性，使上下文无关文法的最有效算法&Earley算法的思想，应用于逻辑程序的实现。

The simulation and correspondence between Horn clause and context-free grammar make the most efficient algorithm-the Earley Algorithm about context-free grammar applied to the implementation of logical programs .

本文基于ObjectiveCaml语言，实现了安全协议进程代数描述到安全协议逻辑程序的自动转化。

This paper uses the Objective Caml language , and automatically translates the description of process algebra for Security protocols into relative logic programs .

本文介绍了模糊逻辑程序的概念及其实现途径，给出了一种利用模糊推理外壳将普通PROLOG系统扩充为FuzzyProlog系统的新方法。

The paper introduces the concepts of fuzzy logic programs and a new approach to extending traditional PROLOG system to FUZZY PROLOG system using a simple fuzzy inference shell .

约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。

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 .

控制系统主要有4个部件&逻辑程序控制器（PLC）、泵系统、金属液面传感器和管道系统，其中金属液面传感器是该系统的关键创新点。

Control system has four main components : the programmable logic controller ( PLC ), the pumping system , metal level sensor and the piping system . The key innovation of the control system is the level sensor .

并行逻辑程序设计语言GHC的实现

Implementation of the parallel logic programming language GHC

然后定义了另一个Herbrand解释语义映射Fp，将关于逻辑程序不动点语义的一些主要结论进行了推广。

By Defined another mapping of Herbrand interpretations F_p , some Lloyd J W 's results on the fixed points are generalized .

在物理平面中，包含业务控制功能（SCF）的物理实体执行业务逻辑程序。

In Physical plane , Service logic programs may be installed into and executed by any physical entity that contains that Service Control Function ( SCF ) functional entity .

PARLOG语言是一种并行逻辑程序设计语言。其关系定义分为单解关系和所有解关系。

PARLOG relations are divided into two types : single-solution relations and all-solution relations .

采用遗传算法（GA）作为归纳逻辑程序设计（ILP）的搜索策略，可以提高ILP方法的鲁棒性和适应性。

In order to enhance the robustness and adaptability of inductive logic programming ( ILP ) technique , genetic algorithm ( GA ) is used as the search strategy of ILP .

框架时序逻辑程序语言MSVL的形式语义

Formal Semantics of Framed Temporal Logic Programming Language MSVL

本文用Prolog逻辑程序设计语言的表处理技术实现了框架系统，设计出一个基于框架的可自定义并可多途径自行维护的知识库管理系统。

This paper creates a frame system by using list processing of logic programming language Prolog , and designs a frame-based knowledge base management system which can be self-defined and self-maintained in many ways .

BAS系统可以根据管理方制定好的定时逻辑程序对照明、暖通、供配电等设备进行最优化的管理，从而达到节能目的。

BAS system can be based on a pre-arranged time program management optimization for lighting , HVAC , power supply and distribution equipment , so as to achieve the purpose of energy saving .

本文包括：逻辑程序设计的发展历史，逻辑程序设计与Horn子句、Prolog语言，逻辑程序设计的特点，逻辑程序的并行性以及逻辑程序设计存在的问题。

This paper contains : the development history of logic programming , logic programming and Horn clause , PROLOG language , the features and the parallelism of logic programming , and also some problems existed in logic programming .

但是当逻辑程序的实现采用标准Prolog系统的最左计算规则和深度优先查找规则时，变换后的程序未必能保持原程序的语义。

However , when the leftmost computing rule and depth first searching rule of standard Prolog systems are adopted for implementing logic pragrams , the semantics of original program cannot necessarily be held by transformed program .

但是随着递归IDB（IntensionalDatabase）谓词的项的个数增大，经魔集转换的逻辑程序为寻找与查询相关数据而产生附加元组的开销也会增大。

However , in search of the relevant data , the cost of generating additional tuples produced by logic program to which magic transformation is applied increases with the arity of IDB ( Intensional DataBase ) predicates increasing .

PARLOG语言是一种适合于并行逻辑程序设计的语言，广泛应用于人工智能及并行处理等领域。

The PARLOG is a parallel logic programming language , having a prospective application future - in Al and parallel processing area .

近年来，借鉴归纳逻辑程序设计（ILP）技术，已经形成许多多关系数据挖掘方法，如关系关联规则挖掘方法、关系分类聚类方法等。

In recently years , using ILP technology for reference , many popular data mining methods have been extended to the multi-relational case , such as relational association rules , relational classification approaches , etc.