1) temporal logic programming
时序逻辑程序设计
1.
Pointers in framing projection temporal logic programming languages;
框架投影时序逻辑程序设计语言中的指针
2.
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.
时序逻辑程序设计是一种新型的程序设计范式,程序的具体执行和性质的描述可以在同一逻辑框架内表示,适用于并发系统的建模、模拟和验证。
2) sequential logic design
时序逻辑设计
3) logic programming
逻辑程序设计
1.
The backtracking mechanism is an important facility for logic programming.
回溯机制是逻辑程序设计的重要设施。
2.
Object-oriented logic programming has both the benefits.
逻辑程序设计是通过使用逻辑规则来解决问题,面向对象的程序设计是通过定义与使用对象的方法来解决问题。
3.
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子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质 。
6) logical level of programming
程序设计逻辑级
补充资料：面向对象的程序设计(见程序设计方法)
面向对象的程序设计(见程序设计方法)
object-oriented programming
m一onx一ong dujx一ong de ehengx日$he]}面向对象的程序设计(objeet一oriented pro-gramming)见程序设计。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条