Prolog adalah bahasa pengaturcaraan yang dikembangkan oleh Alain Colmeraur dan rakan-rakannya di University of Marseilles pada tahun 1972. Pendek kata untuk pengaturcaraan dalam logik atau program et logique (bahasa Perancis), prolog adalah bahasa pengaturcaraan yang digunakan untuk AI, dan tidak seperti bahasa pemrograman lain, Prolog didasarkan pada satu set peraturan dan bukan arahan.

AI, istilah kecerdasan buatan, singkatan komputer, logik Program, istilah pengaturcaraan