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

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

 

בניגוד לשפות התכנות הנפוצות, תכנות בפרולוג איננו כתיבה של סדרת הוראות לביצוע.

הרצה של תוכנית פרולוג היא הגדרת עובדות וכללים והצגת שאילתות לגביהם. מבחינה זו, יש קשר הדוק בין פרולוג ל[[בסיס נתונים|בסיסי נתונים]]. לפרולוג יש מנגנון הוכחה פנימי שנועד להשיב על שאילתות מורכבות. לב מנגנון ההוכחה הוא [[אלגוריתם]] להאחדה של תבניות (unification).

בדטלוג גם אין פונקציות ומנגנון ההסקה שלה הוא מטה-מעלה, בניגוד לפרולוג שהיא מעלה-מטה. דטלוג משמשת בעיקר למסדי-נתונים לוגיים בתחומי [[בינה עסקית|הבינה העסקית]].

 

ל[[מחשב אישי|מחשבים אישיים]] התפרסם Turbo Prolog ו [http://www.amzi.com Amzi!] פרולוג.

כמו כן קיימת הרחבה גרפית ותמיכה בשפה העברית לאמזי פרולוג [[OW Prolog]].