Singkatan dari pemrograman dalam logika atau pemrograman et logique (Prancis), prolog adalah bahasa pemrograman yang dikembangkan oleh Alain Colmeraur dan rekan-rekannya di University of Marseilles pada tahun 1972. Prolog umumnya digunakan untuk AI, dan tidak seperti bahasa pemrograman lain, Prolog didasarkan seperangkat aturan, bukan instruksi.

AI, istilah kecerdasan buatan, singkatan komputer, logika program, istilah pemrograman