פרולוג (שפת תכנות)

פרולוג היא שפת תכנות לוגית. היא נוצרה לעזור בתוכנות של בינה מלאכותית. השם מגיע משילוב המילים Programming ו-Logic. היא פותחה על ידי אלן קולמר באוניברסיטת אקס-מרסיי ב-1972. בפרולוג לא כותבים רשימת פקודות. כותבים עובדות וחוקים. אחר כך שואלים שאלות. לדוגמה: male(yoni) אומר שיוני זכר. love(yoni,rotem) א...