İçindekiler:
Tanım - Prolog ne anlama geliyor?
Programmation tr Logique ( Mantıkta Programlama) veya Prolog, kökleri birinci dereceden mantık veya birinci dereceden yüklem analizinde bulunan yüksek seviyeli bir programlama dilidir. Dil, 1970'lerin başında Alain Colmerauer liderliğindeki bir grup tarafından Fransa'nın Marsilya kentinde tasarlandı. İlk mantık programlama dillerinden biridir ve bugün hala popülerdir. Genellikle bilişimsel dilbilim ve yapay zeka ile ilişkili bir programlama dilidir ve uzman sistemlerde, teorem kanıtlamada ve doğal dil ayrıştırma ağaçlarında desen eşleşmesinde ve doğal dil işlemede kullanılır.
Techopedia Prolog'u açıklıyor
İlk Prolog sistemi 1972 yılında Colmerauer tarafından Philippe Roussel ile birlikte geliştirildi ve Robert Kowalski'nin Horn hükümlerine ilişkin usulsel yorumuna dayanıyordu. Ayrıca, mantığın, bilginin usulsel temsili ile bildirici bir bilgi temsil dili olarak uzlaştırılması arzusu tarafından da motive edilmiştir. Prolog, bilgisayar ve insan (doğal) dil etkileşimleriyle ilgili olarak doğal dil işleme için özel olarak geliştirilmiştir.
Prolog, komut dizileri yerine bildirimsel olduğu için diğer programlama dillerinden farklıdır. Bazen kurallara dayalı veya bildirici bir dil olarak adlandırılır, çünkü gerçekler ve kurallar olarak sunulan nesnelerin özellikleri arasındaki ilişkiler açısından ifade edilir. Bu ilişkiler üzerinde bir sorgu çalıştırılarak bir hesaplama başlatılır.
Uygulamalar şunları içerir:
- Makine öğrenme
- Robot planlama
- Otomatik akıl yürütme
- Problem çözme
- Akıllı veritabanı alımı
- Doğal dil anlayışı
- Şartname dili
