逻辑程序设计

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

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

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

Implementation of the parallel logic programming language GHC

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

Application of Digital Logic Program Designing Method of Microminiature PLC

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

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

提出了基于逻辑程序设计的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 .

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

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

约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在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 .

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 .

本文用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 .

本文包括：逻辑程序设计的发展历史，逻辑程序设计与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 .

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.

BPU-SPAR是我们目前正在研制的并行约束逻辑程序设计系统的基础设施。

BPU-SPAR provides the framework in which a parallel CLP ( Constraint Logic Programming ) system is being developed .

本文根据定离确多阶段决策DP解法所建立数学模型的递推特性，结合逻辑程序设计思想，利用TurboProlog实现了此类决策问题的DP解法。

According to the recurrence property of mathematical model built based on the DP method for certain dispersed certain multistage decision , combined with idea of programming in logic , this paper realized that this , type of decision question is solved based on the DP method by Turbo PROLOG .

以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础，研制了一个适用于中学数学，面向学生的智能教学系统BPU-ITS-Math。

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 .

本文对当前在Von-Neumann机上，实现逻辑程序设计语言所采用的推理控制策略，作了较详细的论述。

To improve the efficiency of inference is a crucial problem in implementation of logic programming language . A variety of different control strategies based on Von Neumann machine has been presented in the past few years .

函数+逻辑程序设计编译-解释系统

A Compilation-Interpretation System of " Function + Logic " Programming Environment

选择策略对遗传归纳逻辑程序设计收敛性能的影响

Convergence Performance of Genetic Inductive Logic Programming Influenced by Selection Strategy

扩充逻辑程序设计的R－演算&知识库维护的操作方法

R-calculus for elp : an operational approach to knowledge base maintenance

约束逻辑程序设计系统的变量事件机制研究

Research on Event Mechanism of Variables in Constraint Logic Programming System

基于归纳逻辑程序设计的学习方法及其实现的研究

Research on inductive logic programming based learning method and its realization

回溯机制是逻辑程序设计的重要设施。

The backtracking mechanism is an important facility for programming in logic .

动态模糊逻辑程序设计语言的操作语义模型及验证

Research and Verification on the Operational Semantics Model of DFL Programming Language

双析取逻辑程序设计基础（Ⅰ）

Foundation for bi - disjunctive logic programming ( I )

逻辑程序设计语言的数据流并行计算模型研究

Research on Data-flow Parallel Computation Model for Logic Programming Language

提出了一种新的约束归纳逻辑程序设计方法，并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。

This paper proposes a new approach to constraint inductive logic programming .

遗传归纳逻辑程序设计的个体编码生长现象

Growth Phenomenon of Individuals ' Code Length in Genetic Inductive Logic Programming

本文介绍了一个基于元逻辑程序设计的专家系统工具HEST。

The paper discusses an expert systems tool based on meta-logic-pro-gramming , HEST .