תוכן עניינים:
הגדרה - מה המשמעות של פרולוג?
תכנות en Logique (תכנות בלוגיקה) או פרולוג היא שפת תכנות ברמה גבוהה שיש לה שורשים בלוגיקה מהסדר הראשון או בחשבון קוד קדום מסדר ראשון. השפה הועברה במרסיי, צרפת בראשית שנות השבעים על ידי קבוצה בראשות אלאן קולמראואר. זוהי אחת משפות התכנות הראשונות של ההיגיון והיא נותרת פופולרית כיום. זוהי שפת תכנות המשויכת לרוב לבלשנות חישובית ובינה מלאכותית ומשמשת במערכות מומחים, הוכחת משפט והתאמת דפוסים על פני עצי ניתוח שפה טבעית ועיבוד שפה טבעית.
Techopedia מסביר את פרולוג
מערכת הפרולוג הראשונה פותחה בשנת 1972 על ידי קולמראואר ביחד עם פיליפ רוסל והתבססה על פרשנותו הפרוצדוראלית של רוברט קובלסקי לסעיפי הורן. זה היה מונע בחלקו גם על ידי הרצון ליישב את השימוש בלוגיקה כשפת ייצוג ידע הצהרתי עם ייצוג פרוצדורלי של ידע. פרולוג פותח בכוונה לעיבוד שפה טבעית - עסק באינטראקציות בין שפות מחשב ובין אדם (טבעי).
פרולוג שונה משפות תכנות אחרות מכיוון שהוא הצהרתי ולא רצפי פקודות. לעיתים היא מכונה שפה מבוססת כללים או הצהרתית מכיוון שהיא באה לידי ביטוי במונחים של יחסים בין תכונות האובייקטים, המוצגת כעובדות וכללים. חישוב מופעל על ידי הפעלת שאילתה ביחסים אלה.
היישומים כוללים:
- למידת מכונה
- תכנון רובוטים
- הנמקה אוטומטית
- פתרון בעיות
- אחזור מסד נתונים אינטליגנטי
- הבנת שפה טבעית
- שפת המפרט
