ภาษาการเขียนโปรแกรมลอจิกบางภาษาเช่น Datalog และ ASP (Answer Set Programming) ล้วนมีการประกาศอย่างสมบูรณ์ - พวกเขาอนุญาตให้มีคำสั่งเกี่ยวกับสิ่งที่โปรแกรมควรทำสำเร็จ อื่น ๆ เช่น Prolog เป็นการรวมกันของการประกาศและจำเป็น - พวกเขาอาจรวมถึงงบขั้นตอนเช่น "การแก้ H, แก้ B1, B2 และ B3."
ภาษาที่ใช้สำหรับการโปรแกรมเชิงตรรกะ
- Absys
- ALF (ภาษาการเขียนโปรแกรมฟังก์ชันการทำงานเชิงพีชคณิตเชิงตรรกะ)
- การดีบักโปรแกรมอัลกอริทึม
- อลิซ
- Alma-0
- ASP (การตั้งค่าคำตอบ)
- ชิป
- Ciao
- CLACL
- Cycl
- Datalog
- Datomic
- DLV
- คราส
- F-ตรรกะ
- ฟลอร่า-2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- เจนัส
- ΛProlog
- Logtalk
- ระบบม้อด
- ปรอท
- โลหะ
- ระบบการเขียนโปรแกรมของโมซาร์ท
- ออนซ์
- Parlog
- ผู้วางแผน
- PROGOL
- อารัมภบท
- เปิดฉาก ++
- ทดลอง
- .QL
- ภาษาการสร้างแบบจำลอง Rebeca
- Roop
- SICStus Prolog
- SWI-เปิดฉาก
- ToonTalk
- ตรรกะการทำธุรกรรม
- Twelf
- Visual Prolog
- xsb
ภาษา, ตรรกะ, กระบวนทัศน์, เงื่อนไขการเขียนโปรแกรม