מה זה פרולוג
- פרולוג מייצג תכנות בלוגיקה. בפרדיגמת התכנות הלוגי, שפת פרולוג זמינה ביותר. פרולוג היא שפה הצהרתית, כלומר תוכנית מורכבת מנתונים המבוססים על העובדות והכללים (יחס לוגי) במקום מחשוב כיצד למצוא פתרון. קשר לוגי מתאר את הקשרים המתקיימים עבור היישום הנתון.
- כדי להשיג את הפתרון, המשתמש שואל שאלה במקום להפעיל תוכנית. כאשר משתמש שואל שאלה, אז כדי לקבוע את התשובה, מערכת זמן הריצה מחפשת במסד הנתונים של עובדות וכללים.
- הפרולוג הראשון היה 'מרסיי פרולוג', המבוסס על עבודה של קולמראור. הדוגמה העיקרית לשפת תכנות מהדור הרביעי הייתה פרולוג. הוא תומך בפרדיגמת התכנות ההצהרתית.
- בשנת 1981, פרויקט מחשב יפני של 5ה'הוכרז הדור. לאחר מכן, היא אומצה Prolog כשפת פיתוח. במדריך זה, התוכנית נכתבה בפרולוג אדינבורו 'הסטנדרטי'. פרולוגים ממשפחת PrologII הם סוג אחר של פרולוגים שהם צאצאים של Marseille Prolog.
- תכונות פרולוג הן 'משתנה לוגי', מה שאומר שהן מתנהגות כמו מבנה נתונים אחיד, אסטרטגיית חזרה לאחור לחיפוש הוכחות, מתקן התאמת דפוסים, משתנה מתמטי וקלט ויציאה ניתנים להחלפה.
- כדי להסיק את התשובה, תהיה יותר מדרך אחת. במקרה כזה, מערכת זמן הריצה תתבקש למצוא פתרון אחר. כדי ליצור פתרון נוסף, השתמש באסטרטגיית החזרה לאחור. פרולוג היא שפה עם הקלדה חלשה עם כללי היקף סטטיים ובדיקת סוגים דינמית.
- פרולוג היא שפה הצהרתית שמשמעותה אנו יכולים לציין איזו בעיה אנו רוצים לפתור ולא כיצד לפתור אותה.
- Prolog משמש בתחומים מסוימים כמו מסד נתונים, עיבוד שפה טבעית, בינה מלאכותית, אבל זה די חסר תועלת בתחומים מסוימים כמו אלגוריתם מספרי או גרפיקה של מופע.
- ביישומי בינה מלאכותית משתמשים בפרלוג. יישומי הבינה המלאכותית יכולים להיות מערכות חשיבה אוטומטיות, ממשקי שפה טבעית ומערכות מומחים. מערכת המומחים מורכבת ממנוע ממשק ומאגר מידע של עובדות. מערכת זמני הריצה של הפרולוג מספקת שירות של מנוע ממשק.
- לסביבת תכנות לוגית בסיסית אין ערכים מילוליים. מזהה עם אותיות רישיות ומזהים אחרים מציינים משתנים. מזהים שמתחילים באותיות קטנות מציינים ערכי נתונים. האלמנטים הבסיסיים של פרולוג הם חסרי סוג. המימושים הרבים ביותר של פרולוג שופרו כך שיכללו ערך מספר שלם, תווים ופעולות. המנגנון של פרולוג מתאר את הטפולים והרשימות.
- לשפת תכנות פונקציונלית ולפרולוג יש כמה קווי דמיון כמו חיבוקים. תוכנית לוגית משמשת כדי מורכבת מהגדרת יחס. שפת תכנות פונקציונלית משמשת כדי מורכבת מרצף של הגדרות פונקציות. גם התכנות הלוגי וגם התכנות הפונקציונלי מסתמכים במידה רבה על הגדרות רקורסיביות.
יישומים של פרולוג
היישומים של פרולוג הם כדלקמן:
- שפת מפרט
- תכנון רובוט
- הבנת שפה טבעית
- למידת מכונה
- פתרון בעיות
- אחזור אינטליגנטי מסדי נתונים
- מערכת מומחים
- נימוק אוטומטי
תְנַאִי מוּקדָם
לפני לימוד פרולוג,
קהל
המדריך שלנו לפרולוג נועד לעזור למתחילים ולמקצוענים.
bfs ו-dfs
בעיות
אנו מבטיחים שלא תמצא שום בעיה במדריך פרולוג זה. אבל אם יש טעות כלשהי, אנא פרסם את הבעיה בטופס יצירת קשר.