Prolog 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. ...
Prolog Mantık Mantık doğru düşünmenin bilimidir. Doğru düşünmenin kurallarını koyan normatif bir bilimdir.
Mantık, düşüncenin doğru ve yanlış olduğunu ortaya koymakta yardımcı bir bilimdir. İnsanın doğru düşünmesini düzenlemeye çalışır. Bunun için birçok prensipler ve çeşitli araştırma usulleri tesbit edip kanun şekline koyar.
...Detaylı bilgi için linke tıklayınız.
programlama dilidir.
bkz. Programlama dilleri
...Detaylı bilgi için linke tıklayınız.
Yapay zeka uygulamalarında kullanılan beşinci nesil bilgisayar dili ailesindendir. 1970'li yılların başlarında
Temel olarak, Yapay zeka, insanın düşünme yöntemlerini analiz ederek bunların benzeri yapay yönergeleri geliştirmeye çalışmak olarak tanımlanabilir. Bir bakış açısına göre, programlanmış bir bilgisayarın düşünme girişimi gibi görünsede bu tanımlar günümüzde hızla değişmekte, öğrenebilen ve gelecekte insan zekasından bağımsız gelişebilecek bir Yapay Zeka kavramına doğru yeni yönelimler oluşmaktadır.
...Detaylı bilgi için linke tıklayınız.
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.
Fransa Cumhuriyeti (Fransızca:République Française) ya da kısaca Fransa, Belçika, Lüksemburg, Almanya, İsviçre, İtalya, Monako, Andorra ve İspanya ile komşu olan, Batı Avrupa'da ülke. Avrupa Birliği'nin kurucu üyesidir.
...Detaylı bilgi için linke tıklayınız.
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)
Lütfen dikkat: Bu sayfada kırmızı ile linklenen ve iki çizgi ile altı çizilen linkler reklamdır. Bu linklere tıklanıldığında başka bir siteye yönlenirsiniz.
