Prolog, Yapay zekâ uygulamalarında kullanılan dördüncü nesil bilgisayar dili ailesinden olan bir mantık programlama dilidir.

1970'li yılların başlarında Fransa'nın Aix-Marseille Üniversitesi'nde Alain Colmerauer ve çalışma grubu tarafından icat edilmiştir. Fransızca "Programmation en Logique" kelimesinden gelmektir. Mantığın doğrudan doğruya bir bilgisayar dili olarak kullanılabilmesini sağlamak amacıyla yapılan çalışmalar da 1980 yıllarının başlarında da yoğunluk kazanmıştır. 1981 yılında Japonlar beşinci nesil bilgisayar projesini açıklamalarıyla da konuya olan ilgi büyük bir ölçüde artmıştır. Prolog üzerine çeşitli amaç ve seviyelerde birçok kitap yayınlanmış ve dilin bir standardı oluşmuştur.

Bilgisayarın belirli bir problemi çözebilmesi için kendisine problemle ve çözüm yoluyla ilgili bilgi verilmesi gereklidir. Programlama dilleri aracılığıyla insan bilgisayarlarla iletişim kurabilir. Prolog mantıksal ve sembolik düşünmeye uygun yapısıyla, problemin tanımlanması ve çözümü için gerekli yöntemlerin geliştirilmesi aşamalarında insanoğluna yardımcı olan bir araçtır.

Bir örnek verecek olursak Sokrat bir insandır ve Tüm insanlar ölümlüdür cümlelerinden, Sokrat ölümlüdür sonucuna varırız. Şimdi bu basit mantık probleminin bir prolog programı olarak nasıl ifade edilebileceğini görelim. Problem önce dilin iki öğesi olan, gerçekler ve kurallar aracılığıyla tanımlanır. Gerçekler, matematiksel aksiyomlar gibi, bir veya daha fazla nesne arasında bulunan bir ilişkiyi veya bir nesneyle ilgili bir özelliği, deklare etmek için yazılan Prolog tümceleridir. Prolog tümceleri mantıktaki Horn cümlelerini ifade eder.^[1]