1) logic in programming
程序设计中的逻辑
2) 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子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质 。
5) logical level of programming
程序设计逻辑级
6) logic programming
逻辑程序设计 [逻辑程序设计]
补充资料：程序设计中的语句
程序设计中的语句
statement in programming
程序设计中的语句【stat曰吐城inPr理”浏叨嗯;。肚Pa-”P B nPorP姗M.PoB明““」 程序设计语言中表达在计算机上执行程序时的有限动作的文法结构.在命令性程序设计语言(例如Al-酗语言(川901);Fortran语言(Fortran))中，语句是执行规定动作的命令.在应用性语言(例如LISP语言(LisP))中，语句是执行规定动作结果的记法.在某些语言(例如A犯01一拐语言(Algol一68))中，命令性和应用性都使用:每条语句生成某个值，或许是空，并且执行(作为间接效果)规定的动作.语句的动作通常有两部分:信息的和逻辑的. 信息部分(访扬n们以tio耐part)的组成是作为存储状态的函数，作出一个值，或者更一般地，转换存储状态到另一个状态. 逻辑部分(fogical part)的组成是从程序中选择另一条语句，在本语句以后它将被执行.履行程序的确定性或不确定性依赖于选择的单值性. 也见算法语言〔司gorjU万nic」an即age) A.n.Epul阳撰程虎译刘椿年校
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条