Některé logické programovací jazyky jako Datalog a ASP (Answer Set Programming) jsou čistě deklarativní - umožňují výpisy o tom, čeho by měl program dosáhnout, bez výslovných instrukcí o tom, jak postupovat. Jiní, jako je Prolog, jsou kombinací deklarativních a imperativů - mohou také zahrnovat procedurální výroky, jako například „Řešit H, řešit B1, B2 a B3“.
Jazyky používané pro logické programování
- Absys
- ALF (funkční programovací jazyk algebraické logiky).
- Ladění algoritmického programu
- Alice
- Alma-0
- ASP (Programování sady odpovědí)
- ČIP
- Čau
- CLACL
- Cykl
- Datalog
- Datomic
- DLV
- Zatmění
- F-logika
- Flora-2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- Janus
- Log Prolog
- Logtalk
- Maude systém
- Rtuť
- Kov
- Mozart programovací systém
- Oz
- Parlog
- Plánovač
- PROGOL
- Prolog
- Prolog ++
- Prova
- .QL
- Rebeca modelovací jazyk
- ROOP
- SICStus Prolog
- SWI-Prolog
- ToonTalk
- Transakční logika
- Dvanáct
- Visual Prolog
- XSB
Jazyk, logika, paradigma, programovací termíny