Logisk programmering er et dataprogrammeringsparadigm der programoppgavene uttrykker fakta og regler om problemer innenfor et system med formell logikk. Regler er skrevet som logiske klausuler med et hode og en kropp; for eksempel, "H er sant hvis B1, B2 og B3 er sanne." Fakta uttrykkes som regel, men uten kropp; for eksempel, "H er sant."

Noen logiske programmeringsspråk som Datalog og ASP (Answer Set Programming) er rent declarative - de tillater uttalelser om hva programmet skal utføre, uten eksplisitte trinnvise instruksjoner om hvordan du gjør det. Andre, som Prolog, er en kombinasjon av deklarative og imperative - de kan også inkludere prosedyre uttalelser som "Å løse H, løse B1, B2 og B3."

Språk som brukes til logisk programmering

• ABSYS
• ALF (algebraisk logisk funksjonell programmeringsspråk).
• Algoritmisk program feilsøking
• Alice
• Alma-0
• ASP (Svar Set Programmering)
• CHIP
• Ciao
• CLACL
• CYCL
• Datalog
• Datomic
• DLV
• Formørkelse
• F-logikk
• Flora-2
• Fril
• FuzzyCLIPS
• Gödel
• HiLog
• Janus
• ΛProlog
• Logtalk
• Maude-systemet
• Mercury
• Metall
• Mozart Programmeringssystem
• Oz
• Parlog
• Planner
• PROGOL
• Prolog
• Prolog ++
• Prova
• • qi
• Rebeca Modeling Language
• Roop
• SICStus Prolog
• SWI-Prolog
• ToonTalk
• Transaksjonslogikk
• Twelf
• Visual Prolog
• XSB

Språk, Logikk, Paradigme, Programmeringsbetingelser