Prolog adalah bahasa pemrograman deklaratif yang berfokus pada pendefinisian fakta dan aturan. Alih-alih memberikan instruksi langkah demi langkah, Prolog bekerja dengan memecahkan masalah berdasarkan logika. Ini membuatnya sangat cocok untuk aplikasi kecerdasan buatan, seperti sistem pakar, pemrosesan bahasa alami, dan representasi pengetahuan.