Logično programiranje
Logično programiranje je uporaba matematične logike za pisanje računalniških programov. Obstajajo specializirani programski jeziki, v katere lahko uporabnik neposredno vnaša logične stavke. Verjetno najbolj znani od teh jezikov se imenuje Prolog. Alonzo Church je uporabil obliko logičnega programiranja, ki je danes znana kot lambda račun. Logično programiranje je bilo uporabljeno tudi v jeziku LISP.
Programi so sestavljeni iz niza pravil in dejstev. V večini primerov se pri logičnem programiranju uporablja tako imenovana negacija kot neuspeh ali šibka negacija: To pomeni, da če iz dejstev in pravil ni mogoče izpeljati nekega stavka p {\displaystyle p}, 
bo sistem predpostavil, da je njegova negacija resnična.
Vprašanja in odgovori
V: Kaj je logično programiranje?
O: Logično programiranje je pristop k programiranju, ki za pisanje računalniških programov uporablja matematično logiko.
V: Kateri so nekateri programski jeziki, ki uporabljajo logično programiranje?
O: Nekateri programski jeziki, ki uporabljajo logično programiranje, so Prolog in LISP.
V: Kakšna je vloga pravil in dejstev pri logičnem programiranju?
O: Programi v logičnem programiranju so sestavljeni iz niza pravil in dejstev.
V: Kaj je negacija kot neuspeh v logičnem programiranju?
O: Negacija kot neuspeh je koncept v logičnem programiranju, kjer sistem, če določenega stavka ni mogoče izpeljati iz dejstev in pravil, predpostavi, da je njegova negacija resnična.
V: Kaj je šibka negacija v logičnem programiranju?
O: Šibka negacija je drug izraz za negacijo kot neuspeh, ki je koncept v logičnem programiranju.
V: Kdo je uporabil obliko logičnega programiranja v lambda kalkulu?
O: Alonzo Church je uporabil obliko logičnega programiranja v obliki, ki je danes znana kot lambda kalkulus.
V: Kateri je najbolj znan programski jezik, ki uporabnikom omogoča neposreden vnos logičnih stavkov?
O: Prolog je verjetno najbolj znan programski jezik, ki uporabnikom omogoča neposreden vnos logičnih izjav.
