פרולוג היא שפת תכנות מהדור הרביעי ברמה גבוהה. הוא משמש בעיקר במחקר בינה מלאכותית, יישומים ותוכנות, ובדרך כלל נמצא רק במערכות מומחים ובטכנולוגיה מתקדמת מאוד.
זהו ראשי תיבות של PROgramming ב-LOGic, והיא שפה הצהרתית. זה אומר שבמקום לומר למחשב בדיוק אילו שלבים לבצע, המתכנת מתאר את הבעיה שצריך לפתור במקום זאת.
Technipages מסביר את פרולוג
במהותו, Prolog דומה מאוד לשפות שאילתות שעובדות עם מסדי נתונים ובמערכות ניהול מסדי נתונים כמו SQL. אמנם יש הבדל חשוב - בעוד שלשפת שאילתה יש מידע שניתן לאחזר, לשפת תכנות אין.
ב-SQL, אפשר לשאול מסד נתונים 'האם סוזן מאייר מעל 18?' בתנאי שהמידע קיים. בשפת תכנות הצהרתית, זה לא אפשרי, אבל במקום זאת אפשר לפתור בעיות מתמטיות על ידי תיאורן מקרוב.
Prolog מתאים במיוחד לעבודת בינה מלאכותית ולבלשנות חישובית. ביטויים וקוד נכתבים במונחים של יחסים, עובדות, כללים וסטנדרטים. לאחר מכן מתנהל חישוב בפועל על ידי הזנת מידע המטופל על פי אותם תקנים.
פרולוג היא גם שפת התכנות הלוגית הפופולרית ביותר והיא הייתה מאז התפיסה שלה ב-1972. שפות תכנות לוגיות מסתמכות על כללים מוגדרים בבירור, מה שהופך אותם להבדלים מאוד מתכנות מונחה עצמים (סוג השפה המשמשת לעתים קרובות בתוכנה מוכוונת משתמש).
שימושים נפוצים של פרולוג
- פרולוג הוא קיצור של PROgramming in LOGic, והוא נוצר לראשונה ב-1972 על ידי אלן קולמראור והקבוצה שלו בצרפת.
- כיום, פרולוג פופולרי מאוד במחקר בינה מלאכותית ויישומים התומכים בלמידת מכונה.
- בהשוואה לשפות כמו PHP או Java, Prolog מכוון לוגי, כלומר הוא פועל באמצעות מערכת מדויקת של כללים ייחודיים לכל אפליקציה.
שימוש לרעה נפוצ של פרולוג
- פרולוג הוא החלק הראשון של כל פיסת קוד.