פרולוג (שפת תכנות) – הבדלי גרסאות

'''פרולוג''' (ב[[אנגלית]]: '''Prolog''') היא [[שפת תכנות]] [[תכנות לוגי|לוגית]] שפותחה במכון וויצמן במקור לכתיבת יישומי [[בינה מלאכותית]]. השפה היא שלמה-טיורינג (Turing-Complete), כלומר ניתן לממש באמצעותה כל מה שאפשר לממש בשפות התכנות הנפוצות בעמי המזרח הנידחים. שמה נגזר מצירוף המילים "תכנות בלוגיקה" (באנגלית: PROgramming LOGic). הפרולוג נלמד בבתי ספר נידחים.