- Prolog, basit ve bildirime dayalı bir mantık programlama dilidir; homoikoniktir ve son derece dinamiktir.
- Prolog'un sözdizimi anlaşılması ve kullanılması kolaydır; tüm veriler Prolog terimleri ve
clause adı verilen tek bir dil öğesiyle ifade edilir.
- Prolog'da
clause, Head :- Body biçimindedir; bu, Body geçerliyse Head'in de geçerli olduğu anlamına gelir.
- Prolog, Turing-tam bir programlama dilidir; bilinen tüm hesaplamalar kendi
clauselarıyla tanımlanabilir.
- Bildirime dayalı bir dil olarak Prolog, ilgilendiğimiz şeyi belirtmeye ve aradığımız çözüm için neyin geçerli olduğunu ifade etmeye odaklanır.
- Prolog'un bildirime dayalı yapısı, son derece kısa, açık ve genel belirtimlere olanak tanır.
- Prolog bir mantık programlama dilidir; saf bir Prolog programı Horn
clauselarından oluşur ve çalıştırılması resolution'ın özel bir durumu olarak görülebilir.
- Prolog homoikonik bir dildir; Prolog programları aynı zamanda geçerli Prolog terimleridir. Bu da başka Prolog programlarını analiz eden, dönüştüren ve yorumlayan Prolog programlarını yazmayı kolaylaştırır.
- Prolog son derece dinamik bir dildir; programlar kolayca üretilebilir, çağrılabilir ve değiştirilebilir.
- Prolog'un dinamik yapısı, diğer programcılar ve son kullanıcılar tarafından sağlanan kullanıcı tanımlı kurallarla genişletilebilen programlar yazmak için idealdir.
- Prolog son derece çok yönlü bir dildir; ilişkisel yapısı sayesinde Prolog programları oldukça esnek ve geneldir.
- Prolog'un çok yönlülüğü ve gücü; arama, birleştirme, argüman indeksleme ve kısıt yayılımını içeren örtük mekanizmalara dayanır.
1 yorum
Hacker News görüşü