Logické programování
Logické programování je používání matematické logiky při psaní počítačových programů. Existují specializované programovací jazyky, ve kterých může uživatel přímo zadávat logické příkazy. Pravděpodobně nejznámější z těchto jazyků se nazývá Prolog. Alonzo Church používal formu logického programování, která je dnes známá jako lambda kalkul. Logické programování bylo použito také v jazyce LISP.
Programy se skládají ze souboru pravidel a faktů. Ve většině případů se v logickém programování používá tzv. negace jako selhání nebo slabá negace: To znamená, že pokud není možné z faktů a pravidel odvodit nějakou klauzuli p {\displaystyle p}, 
systém bude předpokládat, že její negace je pravdivá.
Otázky a odpovědi
Otázka: Co je to logické programování?
Odpověď: Logické programování je přístup k programování, který k psaní počítačových programů používá matematickou logiku.
Otázka: Jaké programovací jazyky využívají logické programování?
Odpověď: Mezi programovací jazyky, které používají logické programování, patří Prolog a LISP.
Otázka: Jakou roli hrají v logickém programování pravidla a fakta?
Odpověď: Programy v logickém programování se skládají ze souboru pravidel a faktů.
Otázka: Co je negace jako selhání v logickém programování?
Odpověď: Negace jako selhání je koncept v logickém programování, kdy pokud není možné odvodit určitou klauzuli z faktů a pravidel, systém bude předpokládat, že její negace je pravdivá.
Otázka: Co je slabá negace v logickém programování?
Odpověď: Slabá negace je jiný termín pro negaci jako selhání, což je koncept v logickém programování.
Otázka: Kdo použil formu logického programování v lambda kalkulu?
Odpověď: Alonzo Church použil formu logického programování, která je dnes známá jako lambda kalkul.
Otázka: Který je nejznámější programovací jazyk, který umožňuje uživatelům přímo zadávat logické příkazy?
Odpověď: Prolog je pravděpodobně nejznámější programovací jazyk, který umožňuje uživatelům přímo zadávat logické příkazy.
