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