Genel bakış
Prolog, programların olgular ve kurallar biçiminde ifade edildiği mantık programlama dilidir. [1]
TEMEL ÖZELLİKLER
Çözümleyici, sorguları eşleştirme ve geri izleme yoluyla kanıtlamaya çalışır; uzman sistemler, doğal dil işleme ve sembolik yapay zekâ uygulamalarında kullanılmıştır. Konu, alanın yerleşik terminolojisi ve doğrulanabilir bulguları çerçevesinde ele alınır; tarihsel bilgi ile güncel uygulama birbirinden ayrılır. [1][2]