La programmazione logica è un paradigma di programmazione del computer in cui le istruzioni del programma esprimono fatti e regole sui problemi all'interno di un sistema di logica formale. Le regole sono scritte come clausole logiche con una testa e un corpo; per esempio, "H è vero se B1, B2 e B3 sono veri." I fatti sono espressi come le regole, ma senza un corpo; per esempio, "H è vero".

Alcuni linguaggi di programmazione logica come Datalog e ASP (Answer Set Programming) sono puramente dichiarativi: consentono di fornire istruzioni su ciò che il programma dovrebbe eseguire, senza istruzioni esplicite passo-passo su come farlo. Altri, come Prolog, sono una combinazione di dichiarativo e imperativo - possono anche includere affermazioni procedurali come "Per risolvere H, risolvere B1, B2 e B3."

Lingue utilizzate per la programmazione logica

• Absys
• ALF (linguaggio di programmazione funzionale logico algebrico).
• Debugging del programma algoritmico
• Alice
• Alma-0
• ASP (Answer Set Programming)
• PATATA FRITTA
• Ciao
• CLACL
• CYCL
• Registro dati
• Datomic
• DLV
• Eclisse
• F-logica
• Flora-2
• Fril
• FuzzyCLIPS
• Gödel
• HiLog
• Janus
• ΛProlog
• Logtalk
• Sistema Maude
• Mercurio
• Metallo
• Mozart Programming System
• oz
• Parlog
• progettista
• PROGOL
• Prolog
• Prolog ++
• prova
• .QL
• Rebeca Modelling Language
• ROOP
• SICStus Prolog
• SWI-Prolog
• ToonTalk
• Logica di transazione
• Twelf
• Visual Prolog
• XSB

Linguaggio, logica, paradigma, termini di programmazione