Logisk programmering är ett dataprogrammeringsparadigm där programförklaringar uttrycker fakta och regler om problem inom ett system av formell logik. Regler skrivs som logiska klausuler med ett huvud och en kropp; till exempel ”H är sant om B1, B2 och B3 är sanna”. Fakta uttrycks på samma sätt som regler, men utan en kropp, t.ex. ”H är sann.”
Vissa logiska programmeringsspråk, t.ex. datalog och ASP (Answer Set Programming), är rent deklarativa. De tillåter uttalanden om vad programmet ska åstadkomma, utan explicita steg-för-steg-instruktioner om hur det ska gå till. Andra, t.ex. prolog, är en kombination av deklarativa och imperativa språk. De kan också innehålla procedurella uttalanden, t.ex. ”För att lösa H, lös B1, B2 och B3.”
Språk som används för logisk programmering
- Absys
- ALF (algebraic logic functional programming language).
- Algoritmisk felsökning av program
- Alice
- Alma-0
- ASP (Answer Set Programming)
- CHIP
- Ciao
- CLACL
- CycL
- Datalog
- Datomic
- DLV
- ECLiPSe
- F-logik
- Flora-2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- Janus
- ΛProlog
- Logtalk
- Maude system
- Mercury
- MetaL
- Mozart Programmeringssystem
- Oz
- Parlog
- Planner
- PROGOL
- Prolog
- Prolog++
- Prova
- .QL
- Rebeca Modeling Language
- ROOP
- SICStus Prolog
- SWI-Prolog
- ToonTalk
- Transaktionslogik
- Twelf
- Visual Prolog
- XSB
Språk, Logik, Maskininlärning, Paradigm, Programmeringstermer