logic programming
逻辑编程
logic programming网络翻译
...Logic Programming, Denotational Semantics, Supported Model, Generalized Metric, Fixed-point Theor[gap=308]关键词：逻辑编程，指称语义，支持的模型，广义度量，不动点定理介绍的优点之一所拥有的日志..
[计] 逻辑程序设计或许OWL可以借用其他逻辑手段， 例如， 基于规则的逻辑程序设计(Logic Programming) 就是另一类极为重要的知识表 示系统。 事实上， 现已提出OWL规则语言ORL [18] 作为其扩展。
逻辑程式设计... logic array network 逻辑阵列网路 logic programming 逻辑程式设计 [逻辑程序设计] logical form 逻辑形式 ...
逻辑规划约束规划（Constraint Programming）是逻辑规划（Logic Programming）的一种，通过为一个问题定义一系列约束条件，随后将约束条件留给计算机求解。
logic programming常用短语
1. Logic Programming Language：逻辑式语言 ; 逻辑程序语言 ; 逻辑式程序设计语言 ; 逻辑程序设计语言
2. Logic Programming and Nonmonotonic Reasoning：逻辑编程与非单调推理
3. Logic Programming Languages：逻辑程序语言
4. Functional and Logic Programming：函数与逻辑程序设计 ; 会议录
5. Logic Programming and Expert Systems：逻辑程序设计与专家系统
6. distributed logic programming：分布式逻辑程序设计
logic programming双语例句
Complexity of business logic programming.
业务逻辑编程的复杂性。
Write an application in a logic programming language.
用逻辑编程语言写一个应用。
The backtracking mechanism is an important facility for logic programming.
回溯机制是逻辑程序设计的重要设施。
相关单词
- purchasingn. 购买，采购 adj. 购买的，采购的 v. <正式>购买，采购；<古>（努力或艰难地）获得，得到；（航海）（用滑轮或杠杆）升起，举起（绳，索，锚）（purchase 的现在分词）
- purchasern. 买方；购买者
- publishingn. 出版；出版业 adj. 出版的；出版业的 v. 出版；发行（publish 的现在分词形式）；发表
- publishern. 出版者，出版商；发行人
- psycology
- protractorn. 伸肌；分度器；伤处异物摘出器
- protectionismn. 保护主义，贸易保护主义；贸易保护制度
- proletariatn. 无产阶级，工人阶级；最下层阶级
- proletariann. 无产阶级分子；无产者 adj. 无产阶级的；无产者的
- programmern. （计）程序设计员；编程器
- producingv. （用部件或原材料）生产；出产；生育；创作；引起；出示；制作（电影、戏剧等）；监制（音乐磁带）；（使）线段延长（produce 的现在分词）
- prizegivingn. 分配奖品
- private sector私营单位
- printingn. 印刷（术）；（书的）一次印刷；印刷字体 v. 打印，印刷；（在报纸、杂志上）刊印，刊登；洗印，冲洗（照片）（print 的现在分词形式）
- playwrightn. 剧作家