什么是逻辑编程(Logical Programming )？

逻辑程序设计是一种计算机程序设计，在这种程序中，程序员必须向计算机发出指令，说明如何使用数学逻辑做出决定，例如使用数学算法。计算机程序是由告诉计算机该做什么的代码组成的。然而，最终，计算机将遇到这样一个实例，在这种...

逻辑程序设计是一种计算机程序设计，在这种程序中，程序员必须向计算机发出指令，说明如何使用数学逻辑做出决定，例如使用数学算法。计算机程序是由告诉计算机该做什么的代码组成的。然而，最终，计算机将遇到这样一个实例，在这种情况下，它必须决定如何继续，而没有任何关于如何进行的信息，它无法完成当前的功能。逻辑程序设计处理这些类型的决策，并向计算机发出指令，以便计算机能够就如何最好地应对特定情况做出"逻辑"的决定。要使逻辑编程工作，编写代码的程序员需要确保她的语句有意义并且是真实的，因此是合乎逻辑的，一个被称为定理证明器的计算机程序需要根据它在程序员代码中遇到的语句来做出决策。

一种计算机编程算法。
定理证明程序是指一种计算机程序，它被设计用来解算被称为定理。定理是根据先前的陈述证明是正确的陈述。在逻辑程序设计中，定理证明程序与计算机程序员创建的语句一起工作以得出结论。例如，如果代码声明A等于B，B等于C，定理证明者将得出A必须等于C的逻辑结论。这个过程不同于程序员在代码中简单地告诉计算机A等于C，因为计算机程序必须使用定理证明者和程序员在代码中的原始语句得出这个结论

一个正在工作的计算机程序员。
理论上，为了使逻辑编程正常工作，程序员只需要确保她的陈述是正确的，而定理证明者的创建者应该确保程序能够读取语句并基于这些语句做出最有效的决策。做出有效决策的能力被称为"逻辑"的计算机。实际上，这两个领域的工作是重叠的，而那些执行逻辑编程的人为了达到他们想要的结果，常常不得不根据定理证明程序的工作方式来改变和操作代码。简单地输入关于如何做出某个决定的准确陈述可能不足以让计算机执行正确的功能，程序员必须测试她的代码并做出相应的调整。
为了使逻辑编程工作，它还依赖于反向推理。在反向推理中，程序通过查看一组数据并从一般已知语句中得出更高级的结论。程序可能知道两条信息是真的，它会推断，既然这两条信息是真的，那就意味着第三条信息也是真的。它继续这个过程，直到根据它给出的信息得出一个逻辑结论。由于它的工作方式，逻辑编程是建立在声明性表示的基础上的语言，即程序告诉计算机它应该做什么，但留给定理证明者来决定执行所请求的过程的最合理或最有效的方法。

数学算法在逻辑程序设计中经常使用。