Proloq dili-Proloq məntiqi proqramlaşdırma dilidir ki Süni intellekt və 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.
İstinadlar
- Clocksin, William F.; Mellish, Christopher S. Programming in Prolog. Berlin ; New York: Springer-Verlag. 2003. ISBN 978-3-540-00678-7.
- Bratko, Ivan. . Harlow, England ; New York: Addison Wesley. 2001. ISBN 0-201-40375-7.
- Covington, Michael A. . Englewood Cliffs, N.J.: Prentice Hall. 1994. ISBN 978-0-13-629213-5.