Pemrograman logika adalah paradigma pemrograman komputer di mana pernyataan program mengekspresikan fakta dan aturan tentang masalah dalam suatu sistem logika formal. Aturan ditulis sebagai klausa logis dengan kepala dan badan; misalnya, "H benar jika B1, B2, dan B3 benar." Fakta diungkapkan mirip dengan aturan, tetapi tanpa tubuh; misalnya, "H itu benar."

Beberapa bahasa pemrograman logika seperti Datalog dan ASP (Answer Set Programming) murni bersifat deklaratif - mereka memungkinkan pernyataan tentang apa yang harus dicapai oleh program, tanpa petunjuk langkah demi langkah yang eksplisit tentang cara melakukannya. Lainnya, seperti Prolog, adalah kombinasi dari deklaratif dan imperatif - mereka juga dapat mencakup pernyataan prosedural seperti "Untuk menyelesaikan H, memecahkan B1, B2, dan B3."

Bahasa digunakan untuk pemrograman logika

• Abs
• ALF (bahasa pemrograman fungsional logika aljabar).
• Debugging program algoritma
• Alice
• Alma-0
• ASP (Answer Set Programming)
• CHIP
• Ciao
• CLACL
• CycL
• Datalog
• Datomik
• DLV
• Gerhana
• F-logic
• Flora-2
• Fril
• FuzzyCLIPS
• Gödel
• HiLog
• Janus
• RolProlog
• Logtalk
• Sistem maude
• Air raksa
• Logam
• Sistem Pemrograman Mozart
• Ons
• Parlog
• Perencana
• PROGOL
• Prolog
• Prolog ++
• Prova
• .QL
• Bahasa Pemodelan Rebeca
• ROOP
• SICStus Prolog
• SWI-Prolog
• ToonTalk
• Logika transaksi
• Twelf
• Prolog Visual
• XSB

Bahasa, Logika, Paradigma, istilah Pemrograman