Beberapa bahasa pengaturcaraan logik seperti Datalog dan ASP (Program Set Jawapan) adalah semata-mata deklaratif - mereka membenarkan pernyataan tentang apa program itu perlu dicapai, tanpa arahan langkah demi langkah yang jelas mengenai cara melakukannya. Lain-lain, seperti Prolog, adalah kombinasi deklaratif dan penting - mereka juga boleh memasukkan penyataan prosedur seperti "Untuk menyelesaikan H, menyelesaikan B1, B2, dan B3."
Bahasa yang digunakan untuk pengaturcaraan logik
- Absys
- ALF (bahasa pengaturcaraan logik aljabar).
- Debugging program algoritma
- Alice
- Alma-0
- ASP (Program Penetapan Jawapan)
- CHIP
- Ciao
- CLACL
- CycL
- Datalog
- Datomic
- DLV
- ECLiPSe
- F-logik
- Flora-2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- Janus
- ΛProlog
- Logtalk
- Sistem Maude
- Mercury
- MetaL
- Sistem Pemrograman Mozart
- Oz
- Parlog
- Perancang
- PROGOL
- Prolog
- Prolog ++
- Prova
- .QL
- Bahasa Pemodelan Rebeca
- ROOP
- SICStus Prolog
- SWI-Prolog
- ToonTalk
- Logika transaksi
- Dua belas
- Prolog Visual
- XSB
Bahasa, Logik, Paradigma, Pengaturcaraan istilah