在维基百科条目解释得好:虽然表面上这似乎是一个多余的条款,因为所有的编程使用的逻辑,实际上它是一个定义良好的范例来看,像,说,"函数编程"和"面向对象编程".特别,
逻辑程序设计在狭义上更常被理解,是逻辑作为声明和程序表达语言的使用.它是基于这样一个事实:向后推理定理证明器以含义的形式应用于陈述句:
If B1 and … and Bn then H
将影响视为目标缩减程序:
to show/solve H, show/solve B1 and … and Bn.
语言Prolog(在某些变体或其他中)可能仍然是最流行的逻辑编程语言.