1) logical programming language
逻辑型程序设计语言
2) DFL programming language
动态模糊逻辑程序设计语言
1.
In order to further expand the applications of DFL, this thesis followed Dijkstra’s guarded commands and put forward an operational semantics model of DFL programming language which can solve dynamic fuzzy problems.
动态模糊逻辑(DFL)的研究已有十年的时间了,目前已取得了一系列研究成果,为了进一步拓展这些研究成果的应用,本文借鉴Dijkstra的监督命令程序结构,通过结构化操作语义描述方法从软件理论方面进行研究,提出了动态模糊逻辑程序设计语言(DFL Programming Language)的操作语义模型,以期形成解决动态模糊性问题的程序设计方法。
3) logic design language
逻辑设计语言
4) 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子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质 。
补充资料：面向对象的程序设计(见程序设计方法)
面向对象的程序设计(见程序设计方法)
object-oriented programming
m一onx一ong dujx一ong de ehengx日$he]}面向对象的程序设计(objeet一oriented pro-gramming)见程序设计。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条