逻辑编程是利用数学逻辑来编写计算机程序。有一些专门的编程语言，用户可以直接输入逻辑语句。这些语言中最著名的可能是叫做Prolog。Alonzo Church在今天的lambda微积分中使用了逻辑编程的一种形式。逻辑编程也被用于LISP中。
程序由一组规则和事实组成。在大多数情况下，逻辑编程使用所谓的否定为失败或弱否定。这意味着，如果无法从事实和规则中推导出某些子句p {\displaystyle p
}，系统将假定其否定是真的。
邏輯編程
问题和答案
问：什么是逻辑编程？
答：逻辑编程是一种使用数学逻辑来编写计算机程序的编程方法。
问：有哪些使用逻辑编程的编程语言？
答：一些使用逻辑编程的编程语言包括Prolog和LISP。
问：规则和事实在逻辑编程中的作用是什么？
答：逻辑编程中的程序由一组规则和事实组成。
问：什么是逻辑编程中作为失败的否定？
答：否定即失败是逻辑编程中的一个概念，如果不可能从事实和规则中推导出一个特定的条款，系统将假定其否定是真的。
问：什么是逻辑编程中的弱否定？
答：弱否定是否定即失败的另一个术语，这是逻辑编程中的一个概念。
问：谁在lambda calculus中使用了逻辑编程的一种形式？
答：Alonzo Church使用了一种逻辑编程的形式，即今天所称的lambda calculus。
问：哪个是最著名的允许用户直接输入逻辑语句的编程语言？
答：Prolog可能是最著名的允许用户直接输入逻辑语句的编程语言。