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.
- ↑ Clocksin, William F.; Mellish, Christopher S. Programming in Prolog. Berlin ; New York: Springer-Verlag. 2003. ISBN 978-3-540-00678-7.
- ↑ Bratko, Ivan. Prolog programming for artificial intelligence. Harlow, England ; New York: Addison Wesley. 2001. ISBN 0-201-40375-7.
- ↑ Covington, Michael A. Natural language processing for Prolog programmers. Englewood Cliffs, N.J.: Prentice Hall. 1994. ISBN 978-0-13-629213-5.