Prolog
Vikipedi, özgür ansiklopedi
Mantık programlama dilidir. Yapay zeka uygulamalarında kullanılan beşinci nesil bilgisayar dili ailesindendir.1970'li yılların başlarında Fransa'nın Marseille Aux Ü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 dileri 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 anasında bulunan bir ilişkiyi veya bir nesneyle ilgili bir özelliği, deklare etmek için yazılan Prolog tümceleridir. Örneğin, Sokrat bir insandır tümcesini bir Prolog gerçeği olarak şöyle yazabiliriz:
insan(sokrat)
