Bahasa PROLOG (PROgrammation en LOGique atau PROgramming in LOGic)

PROLOG (aslinya memiliki kepanjangan PROgrammation en LOGique atau kemudian diinggriskan menjadi PROgramming in LOGic) adalah bahasa untuk aplikasi kecerdasan buatan yang dibuat pada tahun 1972 di Universitas Marseille-Aix, Prancis. Penciptanya adalah Alain Colmerauer. Bahasa ini menjadi sangat populer semenjak Jepang mengumumumkan pada tahun 1981 bahwa Jepang akan menggunakannya sebagai basis komputer "generasi kelima".