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