logic programming

The backtracking mechanism is an important facility for logic programming.

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

Object-oriented logic programming has both the benefits.

逻辑程序设计是通过使用逻辑规则来解决问题,面向对象的程序设计是通过定义与使用对象的方法来解决问题。

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子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质 。

Pointers in framing projection temporal logic programming languages;

框架投影时序逻辑程序设计语言中的指针

Though researchers developed interpreters to execute temporal logic programs,and temporal logic and its executed subsets are widely applied to the areas of concurrentprograms verification, however, there has not formalized an integrated formal semanticsfor temporal logic programs, at least for interval temporal logic programming languages.

时序逻辑程序设计是一种新型的程序设计范式,程序的具体执行和性质的描述可以在同一逻辑框架内表示,适用于并发系统的建模、模拟和验证。

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

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

A comparison between the logic programming languages Gdel and Prolog

逻辑程序设计语言Gdel与Prolog的比较

A System for Normal Logic Programs with Functions

带函数的正规逻辑程序设计系统(英文)

The Formalized Procedural Semantic of Logic Programming Language G(?)del

逻辑程序设计语言G（?）del的形式化过程性语义

Genetic Inductive Logic Programming Based on Bit-string Encoding

基于位串编码的遗传归纳逻辑程序设计

Denotational Semantics of Dynamic Fuzzy Logic Programming Language

动态模糊逻辑程序设计语言的指称语义

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

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

Research and Applications on the Algebra Semantics Models of DFL Programming Language

动态模糊逻辑程序设计语言的代数语义模型及应用研究

PLATO (Programmed Logic for Automatic Operations)

自动指导操作程序设计逻辑

Methods and Techniques about How to Design The PLC Logical Control Program;

PLC逻辑控制程序设计的方法与技巧

Prolog Programming Based on Predicate Logic

基于谓词逻辑的Prolog程序设计

Simple and Easy Method for Designing Sequence Logic Ladder Diagram of Programmable Controller

可编程序控制器顺序逻辑梯形图的简易设计法

creating a program that enables the computer to reason logically.

设计出一个能使计算机进行逻辑运算的程序。

In computer programming, section of a COBOL program that represents a logical processing entity.

在计算机程序设计中,COBOL程序中代表一个逻辑处理实体的一部分。

The Application of PLD in the Design of Logic Systems;

可编程逻辑器件(PLD)在逻辑系统设计中的应用

A programming language designed for applications requiring numeric computations and some logical processes.

一种程序设计语言，主要为需要数值计算和某些逻辑处理的应用程序而设计的。

One Way to Design Scheduling Logic Circuit Based on MSI;

基于MSI的时序逻辑电路设计方法

In fact, we use the digital way directly to synthesize sine wave.

数字电路技术课程的知识难点是时序逻辑电路的设计。