Penjelasan:

Programan logika adalah cabang dari ilmu komputer yang mengkaji tentang cara-cara untuk membuat program komputer melalui pendekatan logika formal. Pada dasarnya, programan logika mempergunakan pemrograman berbasis logika dan menghindari pemakaian urutan instruksi pada umumnya yang dipakai dalam pemrograman terstruktur.

Programan logika didasarkan pada teori-teori logika matematika dan secara historis, pada awalnya, ditemukan pada tahun 1950-an oleh sekelompok matematikawan dan filsuf, termasuk Alan Turing, Alonzo Church, dan Kurt Gödel. Mereka bertujuan untuk membuat mesin atau komputer yang dapat melakukan tugas-tugas logis yang sangat kompleks.

Pada tahun 1960-an dan 1970-an, programan logika menjadi populer karena metodenya yang sistematis dan terstruktur. Bahasa pemrograman yang paling terkenal dalam programan logika adalah Prolog (Programming in Logic), yang pertama kali dikembangkan pada tahun 1970-an oleh Alain Colmerauer dan Philippe Roussel di Universitas Aix-Marseille, Prancis.

Programan logika memiliki aplikasi yang luas, termasuk dalam bidang kecerdasan buatan (AI), pemrosesan bahasa alami, pemodelan dan verifikasi perangkat lunak, dan sistem ekspert.