Logisk programmering är ett datorprogrammeringsparadigm där programansökningar uttrycker fakta och regler om problem inom ett system med formell logik. Regler skrivs som logiska klausuler med huvud och kropp. till exempel "H är sant om B1, B2 och B3 är sanna." Fakta uttrycks liknar regler, men utan en kropp; till exempel "H är sant".

Vissa logiska programmeringsspråk som Datalog och ASP (Answer Set Programming) är rent declarative - de tillåter uttalanden om vad programmet ska utföra, utan några explicit steg-för-steg-instruktioner om hur man gör det. Andra, som Prolog, är en kombination av deklarativ och imperativ - de kan också innehålla processuella uttalanden som "Att lösa H, lösa B1, B2 och B3."

Språk som används för logisk programmering

• ABSYS
• ALF (algebraiskt logiskt funktionellt programmeringsspråk).
• Algoritmisk programfelning
• Alice
• Alma-0
• ASP (Answer Set Programming)
• CHIP
• Ciao
• CLACL
• CYCL
• DATALOG
• Datomic
• DLV
• Förmörkelse
• F-logik
• Flora-2
• FRIL
• FuzzyCLIPS
• Gödel
• HiLog
• Janus
• ΛProlog
• Logtalk
• Maude-systemet
• kvicksilver
• Metall
• Mozart Programmeringssystem
• Uns
• Parlog
• Planerare
• PROGOL
• Prolog
• prolog ++
• prova
• .QL
• Rebeca Modeling Language
• Roop
• SICStus Prolog
• SWI-Prolog
• ToonTalk
• Transaktionslogik
• Twelf
• Visual Prolog
• XSB

Språk, Logik, Paradigm, Programmeringsvillkor