Pengaturcaraan logik adalah paradigma pengaturcaraan komputer di mana pernyataan program menyatakan fakta dan peraturan tentang masalah dalam sistem logik formal. Peraturan ditulis sebagai klausa logik dengan kepala dan badan; contohnya, "H adalah benar jika B1, B2, dan B3 adalah benar." Fakta dinyatakan sama dengan peraturan, tetapi tanpa badan; contohnya, "H adalah benar."

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