Prolog merupakan singkatan dari Programming in Logic yang dikembangkan oleh Alain Colmenraurer dan P.Roussel di Universitas Marseilles Perancis, tahun 1972 , Prolog digunakan untuk aplikasi Artificial Intelegen , Expert Syste,Robotik dan Pengolahan Bahasa Alami (Natural Languange Processing).
