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 Gdel and Prolog
逻辑程序设计语言Gdel与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.
数字电路技术课程的知识难点是时序逻辑电路的设计。