Programmazione logica
La programmazione logica è l'uso della logica matematica per scrivere programmi per computer. Esistono linguaggi di programmazione specializzati in cui l'utente può inserire direttamente le affermazioni logiche. Probabilmente il più noto di questi linguaggi si chiama Prolog. Alonzo Church ha usato una forma di programmazione logica in quello che oggi è conosciuto come calcolo lambda. La programmazione logica è stata usata anche in LISP.
I programmi consistono in un insieme di regole e fatti. Nella maggior parte dei casi, la programmazione logica usa quella che viene chiamata negazione come un fallimento o una negazione debole: Ciò significa che se non è possibile ricavare qualche clausola p {\displaystyle p} 
dai fatti e dalle regole, il sistema supporrà che la sua negazione sia vera.
Domande e risposte
D: Che cos'è la programmazione logica?
R: La programmazione logica è un approccio alla programmazione che utilizza la logica matematica per scrivere programmi informatici.
D: Quali sono alcuni linguaggi di programmazione che utilizzano la programmazione logica?
R: Alcuni linguaggi di programmazione che utilizzano la programmazione logica sono Prolog e LISP.
D: Qual è il ruolo delle regole e dei fatti nella programmazione logica?
R: I programmi nella programmazione logica sono costituiti da un insieme di regole e fatti.
D: Che cos'è la negazione come fallimento nella programmazione logica?
R: La negazione come fallimento è un concetto nella programmazione logica, dove se non è possibile derivare una particolare clausola dai fatti e dalle regole, il sistema assumerà che la sua negazione sia vera.
D: Che cos'è la negazione debole nella programmazione logica?
R: La negazione debole è un altro termine per indicare la negazione come fallimento, che è un concetto della programmazione logica.
D: Chi ha utilizzato una forma di programmazione logica nel lambda calculus?
R: Alonzo Church ha utilizzato una forma di programmazione logica in quello che oggi è conosciuto come lambda calculus.
D: Qual è il linguaggio di programmazione più conosciuto che consente agli utenti di inserire direttamente le affermazioni logiche?
R: Prolog è probabilmente il linguaggio di programmazione più conosciuto che consente agli utenti di inserire direttamente le affermazioni logiche.
