?逻辑编程

...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）的一种，通过为一个问题定义一系列约束条件，随后将约束条件留给计算机求解。