Logisk programmering er et computerprogrammeringsparadigme, hvor programerklæringer udtrykker fakta og regler om problemer inden for et system af formel logik. Regler skrives som logiske klausuler med en hoved- og en krop; for eksempel: “H er sandt, hvis B1, B2 og B3 er sande.” Fakta udtrykkes på samme måde som regler, men uden en krop, f.eks. “H er sandt.”
Visse logiske programmeringssprog, f.eks. datalog og ASP (Answer Set Programming), er rent deklarative. De tillader udsagn om, hvad programmet skal udføre, uden eksplicitte trin-for-trin-instruktioner om, hvordan det skal gøres. Andre, som f.eks. Prolog, er en kombination af deklarative og imperative sprog. De kan også indeholde proceduremæssige udsagn, som f.eks. “For at løse H skal du løse B1, B2 og B3.”
Sprog, der anvendes til logisk programmering
- Absys
- ALF (algebraisk logisk funktionelt programmeringssprog).
- Algoritmisk programfejlfinding
- Alice
- Alma-0
- ASP (Answer Set Programming)
- CHIP
- Ciao
- CLACL
- CycL
- Datalog
- Datomic
- DDLV
- ECLiPSe
- F-logik
- Flora-2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- Janus
- ΛProlog
- Logtalk
- Maude-system
- Mercury
- MetaL
- Mozart Programmeringssystem
- Oz
- Oz
- Parlog
- Planner
- PROGOL
- Prolog
- Prolog++
- Prova
- .QL
- Rebeca Modeling Language
- ROOP
- SICStus Prolog
- SWI-Prolog
- ToonTalk
- Transaktionslogik
- Twelf
- Visuel Prolog
- XSB
Sprog, Logik, Maskinindlæring, Paradigme, Programmeringsbegreber