Logikai programozás
A logikai programozás a matematikai logika felhasználása számítógépes programok írásához. Vannak speciális programozási nyelvek, ahol a felhasználó közvetlenül logikai utasításokat írhat be. Valószínűleg a legismertebb ilyen nyelv a Prolog. Alonzo Church a logikai programozás egy olyan formáját használta, amelyet ma lambda-kalkulusként ismerünk. A logikai programozást a LISP-ben is használták.
A programok szabályok és tények halmazából állnak. A legtöbb esetben a logikai programozás az úgynevezett negációt hibaként vagy gyenge negációként használja: Ez azt jelenti, hogy ha a tényekből és szabályokból nem lehet valamilyen p {\displaystyle p} 
tételt levezetni, akkor a rendszer feltételezi, hogy annak negációja igaz.
Kérdések és válaszok
K: Mi az a logikai programozás?
V: A logikai programozás a programozás olyan megközelítése, amely matematikai logikát használ számítógépes programok írásához.
K: Melyek azok a programozási nyelvek, amelyek logikai programozást használnak?
V: A logikai programozást használó programozási nyelvek közé tartozik a Prolog és a LISP.
K: Mi a szabályok és tények szerepe a logikai programozásban?
V: A logikai programozásban a programok szabályok és tények halmazából állnak.
K: Mi a negáció mint hiba a logikai programozásban?
V: A negáció mint kudarc egy olyan fogalom a logikai programozásban, ahol ha egy adott tételt nem lehet levezetni a tényekből és szabályokból, akkor a rendszer feltételezi, hogy annak negációja igaz.
K: Mi a gyenge negáció a logikai programozásban?
V: A gyenge negáció egy másik kifejezés a negáció mint hiba fogalmára, amely a logikai programozásban használatos fogalom.
K: Ki használta a logikai programozás egy formáját a lambda-kalkulusban?
V: Alonzo Church használta a logikai programozás egy formáját, amit ma lambda-kalkulusként ismerünk.
K: Melyik a legismertebb programozási nyelv, amely lehetővé teszi a felhasználók számára, hogy közvetlenül logikai utasításokat adjanak meg?
V: A Prolog valószínűleg a legismertebb programozási nyelv, amely lehetővé teszi a felhasználók számára a logikai kijelentések közvetlen bevitelét.
