Einige logische Programmiersprachen wie Datalog und ASP (Answer Set Programming) sind rein deklarativ - sie erlauben Aussagen darüber, was das Programm ausführen soll, ohne explizite Schritt-für-Schritt-Anweisungen. Andere, wie zum Beispiel Prolog, sind eine Kombination aus Deklarativem und Imperativem - sie können auch Verfahrensaussagen enthalten, wie beispielsweise "Um H zu lösen, lösen Sie B1, B2 und B3."
Für die Logikprogrammierung verwendete Sprachen
- Absys
- ALF (Funktionale Programmiersprache für Algebraische Logik).
- Algorithmisches Programm-Debugging
- Alice
- Alma-0
- ASP (Antwortsatzprogrammierung)
- CHIP
- Ciao
- CLACL
- CycL
- Datenprotokoll
- Datomic
- DLV
- Finsternis
- F-Logik
- Flora-2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- Janus
- ΛProlog
- Logtalk
- Maude-System
- Quecksilber
- Metall
- Mozart-Programmiersystem
- Oz
- Parlog
- Planer
- PROGOL
- Prolog
- Prolog ++
- Prova
- .QL
- Rebeca-Modellierungssprache
- ROOP
- SICStus Prolog
- SWI-Prolog
- ToonTalk
- Transaktionslogik
- Twelf
- Visual Prolog
- XSB
Sprache, Logik, Paradigma, Programmierbegriffe