逻辑编程是计算机编程的一种类型，其中程序员必须向计算机发出有关如何使用数学逻辑（例如使用数学算法）做出决策的指令。计算机程序由告诉计算机做什么的代码组成。然而，最终，计算机将遇到这样的情况：它必须决定如何继续，并且如果没有任何关于如何执行此操作的信息，它就无法完成其当前的功能。逻辑编程处理这些类型的决策并向计算机发出指令，以便计算机可以就如何最好地响应特定情况做出"逻辑"决策。为了使逻辑编程发挥作用，编写代码的程序员需要确保她的陈述有意义且正确，因此是合乎逻辑的，并且需要一个称为定理证明者的计算机程序根据程序员在代码中遇到的陈述做出决策。代码。
定理证明者是指计算机程序t 旨在解决称为定理的数学陈述。定理是根据先前的陈述被证明为正确的陈述。在逻辑编程中，定理证明者与计算机程序员创建的语句一起得出结论。例如，如果代码声明 A 等于 B，B 等于 C，则定理证明者将得出 A 必须等于 C 的逻辑结论。这个过程与程序员简单地告诉计算机的过程不同。代码中 A 等于 C，因为计算机程序必须使用定理证明者和程序员在代码中的原始陈述得出此结论。
计算机编程算法。理论上，为了使逻辑编程发挥作用，程序员只需要确保她的统计数据元素是正确的，定理证明者的创建者应该确保程序可以读取语句并根据它们做出最有效的决策。做出有效决策的能力被称为计算机"逻辑地"运行。实际上，这两个工作领域是重叠的，执行逻辑编程的人员通常必须根据定理证明者的工作方式来更改和操作代码，以达到他们想要的结果。简单地输入关于如何做出某个决定的准确陈述可能不足以让计算机执行正确的功能，程序员必须测试她的代码并做出相应的调整。
计算机程序员正在工作。为了使逻辑编程工作，它还需要重新在于逆向推理。在逆向推理中，程序通过查看一组数据并根据一般已知的陈述得出更高级的结论来得出结论。程序可能知道两条信息是真实的，并且它会推断出，由于这两条信息是真实的，这意味着第三条信息也是真实的。它会继续这个过程，直到根据所提供的信息得出逻辑结论。由于其工作方式，逻辑编程是建立在声明性表示语言之上的，这意味着程序告诉计算机它应该做什么，但将其留给定理证明者来确定执行所请求过程的最逻辑或最有效的方法。
