1970'lerin başında tasarlanan Prolog, program ve mantık kelimelerinin bir birleşimidir, en eski bilgisayar programlama dillerinden biridir. Kısmen, çok basit bir kod olduğu için, birinci dereceden mantığı ve küçük hesaplamayı kullanarak hala popüler kullanımda. Orijinal talimat seti oldukça genişlemiş ve birçok değişkene dönüştürülmüştür, çünkü özellikle işlem dili için çok uygundur. Programın bu iki temel özelliği yapay zeka ve otomatik telekomünikasyon gibi uygulamaların işlenmesini sağlar.
Prolog resmi, birinci dereceden mantığı kullanır. Bilgisayara yüklenen talimatlar kesindir; bulanık, hesaplamalı ağırlıklara sahip değiller. İfadede, dilin sözdizimi sonlu bir kurallar kümesidir ve anlambilim, genellikle tek tanımlayıcılar, çoklu listeler ve diziler gibi kümeler veya sayısal diziler gibi bir aralıkla tanımlanır.
Hipermetin işaretleme dili (HTML) gibi daha iyi bilinen bazı kodlamaların yanı sıra, Prolog, genel olarak bildirimsel programlama dilleri olarak adlandırılan ve “X eşittir Y” basit ifadesini karakteristik olarak “terim” olarak kullanan bir yazılım sınıfındadır. ne yapılacağını söyledi; oraya nasıl gidileceğini tek başına hesaplaması talimatı verilmez. Bilgisayarda bir “yüklem” içeren bir dizi gerçek ve bir girdi sorgusunun doğru ve yanlış çıktı sonucu vermesi gereken “yan tümce” olarak tanımlanan ilişkiler verilmiştir. Bir algoritma çalıştırmaz, aksine bilinen bir tanım kümesinden toplayarak veya çıkartarak basit bir cevap çıkarır. Prolog'da Hesaplama, ileri matematikten biyolojiye ve felsefeye kadar teorileri ve temel varsayımlarını test etmek ve kanıtlamak için kullanılır.
Bilişsel zeka kuramlarından biri, beyinde toplanan, işlenen ve geri beslenen, bilginin daha fazla karmaşıklığı veya basitliği ile sonuçlanan büyük ama sonlu bir sözcüksel bilgi deposunun mevcut olmasıdır. Artan bellek kapasitesi ve hızlı erişim ile bu, bilgisayar biliminin kutsal kâsesi - yapay zekasını yönlendiren baskın paradigmadır. Alandaki birçok kişiye göre anahtar olan şey arayüz ve dildir. Prolog programlama, yalnızca görsel semboller tanımlayarak Apple®'ın öncülük ettiği grafiksel kullanıcı arayüzü olan GUI'leri oluşturmak için kullanılabilir. Ayrıca, yüz ifadesini okumak, tercüme etmek ve oluşturmak için de kullanılabilir.
Hesaplamalı dilbilim büyük ölçüde daha zordur ve Prolog yıllar boyunca, örneğin bazı yabancı dillerin benzersiz gramer prensiplerini içerecek şekilde ilerlerken, birçok araştırmacı dili etkili bir şekilde temsil edip etmediğini sorgular. Bilgisayarlı ses tanıma teknik destek telefon hatları gibi sınırlı uzman sistemler için Prolog programlama bir dereceye kadar etkinlik için kullanılır. Ayrıca, C + veya java gibi dilleri ölçmek - daha yüksek dereceli mantık yazılımlarına da entegre edilebilir - ancak sıkıştırma ve taşınabilirlik, bu veri yoğun programlama dili için kalıcı olan problemlerdir.
