Логическое программирование - это использование математической логики для написания компьютерных программ. Существуют специализированные языки программирования, где пользователь может напрямую вводить логические утверждения. Вероятно, самый известный из этих языков называется Пролог. Церковь Алонзо использовала одну из форм логического программирования, известную сегодня как лямбда-вычисления. Логическое программирование также использовалось в LISP.
Программы состоят из набора правил и фактов. В большинстве случаев логическое программирование использует то, что называется отрицанием, как неудачу или слабое отрицание: Это означает, что если из фактов и правил невозможно вывести некоторое выражение p {\displaystyle p}
, то система будет считать, что его отрицание истинно.