Proloq dili
Proloq dili-Proloq məntiqi proqramlaşdırma dilidir ki Süni intellekt və Hesablamalı dilçilik ilə əlaqədardır. 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.