逻辑编程是种编程典范，它设定答案须符合的规则来解决问题，而非设定步骤来解决问题，过程是事实+规则=结果。
...Logic Programming, Denotational Semantics, Supported Model, Generalized Metric, Fixed-point Theor[gap=308]关键词：逻辑编程，指称语义，支持的模型，广义度量，不动点定理介绍的优点之一所拥有的日志..
基于5911个网页-相关网页
其中涉及了不同的编程范型，如面向对象（Ruby、Scala）、原型编程（Io）、逻辑编程（Prolog）以及函数式编程（Scala、Erlang、Clojure和Haskell），其中有的语言更是结合了不同范型（如Scala）。
基于40个网页-相关网页
静止变换式航空地面电源PWM电压控制器的设计-电源管理-电子工程世界网 关键词：脉宽调制 控制器 逻辑编程 [gap=488]Keywords: PWM, Controller, Logic programmable
基于20个网页-相关网页
...探索Prolog Prolog在英语中的意思就是Programming in LOGic（逻辑编程）。它是建立在逻辑学的理论基础之上的， 最初是运用于自然语言的研究领域。
基于6个网页-相关网页
归纳逻辑编程 inductive logic programming ; ILP
布尔逻辑编程 Boolean Logic Programming
逻辑编程与非单调推理 Logic Programming and Nonmonotonic Reasoning
逻辑编程语言 PROLOG
可编程逻辑控制器 PLC ; Programmable Logic Controller ; PLCProgrammable Logic Controllers ; Programming Logic Controller
复杂可编程逻辑器件 Complex Programmable Logic Device ; CPLD ; CPLD Complex PLD ; Complex PLD
可编程逻辑器件 programmable logic device ; PLD ; CPLD ; FPGA
研讨会的逻辑编程 SLP ; symposium on logic programming
应用推荐