programming-languages - 什么是逻辑编程？和其他的有什么不同

Question

<分区>

Answer 1

wikipedia条目解释得很好:虽然表面上它似乎是一个多余的术语，因为所有编程都使用逻辑，但实际上它是一个定义良好的范例的术语，比如“函数式编程”和“面向对象编程”。具体来说，

logic programming, in the narrower sense in which it is more commonly understood, is the use of logic as both a declarative and procedural representation language. It is based upon the fact that a backwards reasoning theorem-prover applied to declarative sentences in the form of implications:

If B1 and … and Bn then H

treats the implications as goal-reduction procedures:

to show/solve H, show/solve B1 and … and Bn.

Prolog 语言(在某些变体中)可能仍然是最流行的逻辑编程语言。