Pemrograman logika adalah suatu bentuk pemrograman berdasarkan penalaran logis yang menggunakan gaya deklaratif untuk menggambarkan masalah dan seperangkat aturan untuk mencapai solusi secara deduktif. Hal ini sering digunakan untuk mengotomatisasi tugas-tugas pemecahan masalah yang kompleks, dan sangat berguna untuk representasi pengetahuan dan penalaran, komputasi simbolik dan aplikasi penalaran otomatis.
Pemrograman logika didasarkan pada gagasan bahwa kumpulan fakta, aturan, dan hubungan dapat digunakan untuk menggambarkan dan memecahkan masalah. Dengan menggunakan model pemrograman deklaratif, pengertian-pengertian tersebut ditulis dalam bahasa formal yang kemudian mendorong proses pencarian jawaban atas pertanyaan-pertanyaan yang diajukan dalam bahasa yang sama. Jawaban-jawaban ini kemudian dapat digunakan untuk mengambil keputusan, membangun model, atau melakukan tindakan lainnya.
Beberapa bahasa pemrograman logika yang paling umum digunakan termasuk Prolog, Common Lisp, dan Racket. Prolog merupakan bahasa logika yang paling populer dan sering digunakan sebagai bahasa pengantar karena memiliki kemampuan penulisan yang ringkas dan relatif mudah dipahami. Common Lisp dan Racket lebih kuat dan memberikan lebih banyak fleksibilitas dalam pemecahan masalah. Ketiga bahasa tersebut biasanya digunakan bersama dengan bahasa pemrograman atau pemodelan lain seperti Java atau C++, sehingga memungkinkan pemrogram untuk menggabungkan pendekatan berbeda untuk memecahkan masalah tertentu.
Selain tugas pemrograman, pemrograman logika juga digunakan untuk membantu mengotomatisasi proses pengambilan keputusan atau memberikan penjelasan atas keputusan yang dibuat oleh komputer. Hal ini disebut sebagai forward chaining, dimana deduksi logis dibuat dari serangkaian fakta dan aturan. Rantai mundur adalah teknik pelengkap yang bekerja dengan memulai dengan tujuan dan memeriksa fakta untuk menentukan apakah tujuan tersebut dapat dicapai.
Pemrograman logika adalah alat yang ampuh dalam penelitian Kecerdasan Buatan, dan memungkinkan mesin untuk berpikir seperti manusia. Selain itu, ini juga telah digunakan dalam rekayasa perangkat lunak, dan dalam sistem keputusan otomatis di bidang kedokteran, keuangan, dan bidang lainnya.
