Logisch programmeren is een paradigma voor computerprogrammering waarbij programmaverklaringen feiten en regels over problemen uitdrukken binnen een systeem van formele logica. Regels worden geschreven als logische clausules met een kop en een romp; bijvoorbeeld: “H is waar als B1, B2, en B3 waar zijn.” Feiten worden op soortgelijke wijze als regels uitgedrukt, maar zonder body; bijvoorbeeld “H is waar.”
Sommige logische programmeertalen, zoals Datalog en ASP (Answer Set Programming), zijn zuiver declaratief. Zij staan uitspraken toe over wat het programma zou moeten bereiken, zonder expliciete stap-voor-stap instructies over hoe dit te doen. Andere, zoals Prolog, zijn een combinatie van declaratief en imperatief. Zij kunnen ook procedurele verklaringen bevatten, zoals “Om H op te lossen, lost u B1, B2, en B3 op.”
Talen gebruikt voor logische programmering
- Absys
- ALF (algebraïsche logische functionele programmeertaal).
- Algoritmische programma debugging
- Alice
- Alma-0
- ASP (Answer Set Programming)
- CHIP
- Ciao
- CLACL
- CycL
- Datalog
- Datomic
- DLV
- ECLiPSe
- F-logica
- Flora-2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- Janus
- ΛProlog
- Logtalk
- Maude systeem
- Mercury
- MetaL
- Mozart programmeersysteem
- Oz
- Parlog
- Planner
- PROGOL
- Prolog
- Prolog++
- Prova
- .QL
- Rebeca Modeling Language
- ROOP
- SICStus Prolog
- SWI-Prolog
- ToonTalk
- Transactielogica
- Twelf
- Visual Prolog
- XSB
Taal, logica, machinaal leren, paradigma, programmeertermen