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

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