Логическо програмиране
Логическото програмиране е използване на математическа логика за писане на компютърни програми. Съществуват специализирани езици за програмиране, в които потребителят може директно да въвежда логически оператори. Вероятно най-известният от тези езици се нарича Prolog. Алонзо Чърч е използвал форма на логическо програмиране в това, което днес е известно като ламбда калкулус. Логическо програмиране е използвано и в LISP.
Програмите се състоят от набор от правила и факти. В повечето случаи в логическото програмиране се използва т.нар. отрицание като неуспех или слабо отрицание: Това означава, че ако от фактите и правилата не е възможно да се изведе някаква клауза p {\displaystyle p}, 
системата ще приеме, че нейното отрицание е вярно.
Въпроси и отговори
В: Какво е логическо програмиране?
О: Логическото програмиране е подход към програмирането, при който се използва математическа логика за писане на компютърни програми.
В: Кои са някои езици за програмиране, които използват логическо програмиране?
О: Някои езици за програмиране, които използват логическо програмиране, включват Prolog и LISP.
В: Каква е ролята на правилата и фактите в логическото програмиране?
О: Програмите в логическото програмиране се състоят от набор от правила и факти.
В: Какво представлява отрицанието като неуспех в логическото програмиране?
О: Отрицанието като неуспех е концепция в логическото програмиране, при която, ако не е възможно да се изведе определена клауза от фактите и правилата, системата ще приеме, че нейното отрицание е вярно.
В: Какво е слабо отрицание в логическото програмиране?
О: Слабото отрицание е друг термин за отрицанието като неуспех, което е концепция в логическото програмиране.
Въпрос: Кой е използвал форма на логическо програмиране в ламбда калкулуса?
О: Алонзо Чърч използва форма на логическо програмиране в това, което днес е известно като ламбда калкулус.
Въпрос: Кой е най-известният език за програмиране, който позволява на потребителите директно да въвеждат логически твърдения?
О: Prolog е вероятно най-известният език за програмиране, който позволява на потребителите да въвеждат директно логически твърдения.
