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

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

 

 

==מאפייני השפה==