Logické programovanie
Logické programovanie je používanie matematickej logiky na písanie počítačových programov. Existujú špecializované programovacie jazyky, v ktorých môže používateľ priamo zadávať logické príkazy. Pravdepodobne najznámejší z týchto jazykov sa nazýva Prolog. Alonzo Church používal formu logického programovania v jazyku, ktorý je dnes známy ako lambda kalkul. Logické programovanie sa používalo aj v jazyku LISP.
Programy pozostávajú zo súboru pravidiel a faktov. Vo väčšine prípadov sa pri logickom programovaní používa tzv. negácia ako zlyhanie alebo slabá negácia: To znamená, že ak z faktov a pravidiel nie je možné odvodiť nejakú klauzulu p {\displayyle p}, 
systém bude predpokladať, že jej negácia je pravdivá.
Otázky a odpovede
Otázka: Čo je to logické programovanie?
Odpoveď: Logické programovanie je prístup k programovaniu, ktorý využíva matematickú logiku na písanie počítačových programov.
Otázka: Aké sú niektoré programovacie jazyky, ktoré využívajú logické programovanie?
Odpoveď: Medzi programovacie jazyky, ktoré používajú logické programovanie, patria Prolog a LISP.
Otázka: Aká je úloha pravidiel a faktov v logickom programovaní?
Odpoveď: Programy v logickom programovaní pozostávajú zo súboru pravidiel a faktov.
Otázka: Čo je negácia ako zlyhanie v logickom programovaní?
Odpoveď: Negácia ako zlyhanie je koncept v logickom programovaní, kde ak nie je možné odvodiť určitú klauzulu z faktov a pravidiel, systém bude predpokladať, že jej negácia je pravdivá.
Otázka: Čo je slabá negácia v logickom programovaní?
Odpoveď: Slabá negácia je iný termín pre negáciu ako zlyhanie, čo je koncept v logickom programovaní.
Otázka: Kto použil formu logického programovania v lambda kalkulu?
Odpoveď: Alonzo Church použil formu logického programovania v tom, čo je dnes známe ako lambda kalkul.
Otázka: Ktorý je najznámejší programovací jazyk, ktorý umožňuje používateľom priamo zadávať logické príkazy?
Odpoveď: Prolog je pravdepodobne najznámejší programovací jazyk, ktorý umožňuje používateľom priamo zadávať logické príkazy.
