Proloq dili-Proloq məntiqi proqramlaşdırma dilidir ki Süni intellekt və Hesablamalı dilçilik ilə əlaqədardır.[1][2][3] Sadə proloq proqram faktlardan və qaydalardan təşkil olunmuşdur. Məsələn:
pisik(qacir).
Şəklində bir fakt təyin edək. İndi proloqla bu faktı çağırdıqda bizə doğru qiymət qaytaracaq.
?- pisik(qacir).
Əgər "qacir" əvəzinə bir dəyişən daxil etsək, bizə bu dəyişənin qiymətini qaytaracaq.
?- pisik(X). X = qacir.