פרולוג (שפת תכנות)
מתוך ויקיפדיה, האנציקלופדיה החופשית
Prolog היא שפת תכנות השייכת למשפחה של שפות הנקראות שפות תכנות לוגיות. במקור היא פותחה לכתיבת תוכנות של בינה מלאכותית, אבל אפשר לממש באמצעותה כל מה שאפשר לממש בשפות התכנות הנפוצות.
בניגוד לשפות התכנות הנפוצות, תכנות בפרולוג איננו כתיבה של סדרת הוראות לביצוע. תכנות בפרולוג דומה יותר לתיאור של עולם והחוקיות הפנימית שלו. הרצה של תוכנית פרולוג היא שאלת שאילתה לגבי אותו עולם. מבחינה זו, יש קשר הדוק בין פרולוג לבסיסי נתונים. לפרולוג יש מנגנון הוכחה פנימי שנועד להשיב על שאילתות מורכבות. לב מנגנון ההוכחה הוא אלגוריתם להאחדה של תבניות (unification). בנוסף, כולל מנגנון ההוכחה אלגוריתם פשוט של חיפוש ממצה (back tracking).
הקוד של פרולוג מבוצע בדרך כלל על ידי אינטרפרטר ולא עובר הידור. עובדה זו, בנוסף לעובדה שמנגנון ההוכחה איננו יעיל בדרך כלל, גורמים לתוכניות פרולוג לעבוד לאט יחסית.
בגלל המבנה התיאורי, היכולת לנסח חוקים בצורה מופשטת ומנגנון ההוכחה המובנה, תוכניות פרולוג נוטות להיות קצרות ואלגנטיות מאד.
פרולוג מעצם טבעה הינה שפה רקורסיבית - אימות השאילתה מתבצע באמצעות קריאות מקוננות חוזרות ונשנות על סט החוקים הנתון עד למסקנה החד משמעית בדבר נכונות השאילתה (במקרה של שאילתת נכונות), או עד גמר איסוף כל הפתרונות האפשריים (במקרה של שאילתה פתוחה השולחת פרמטרים למילוי).
כל תוכנית פרולוג היא למעשה אוסף של פסוקי לוגיים הידועים כפסוקי הורן (Horn Clauses)
אחד הנושאים המעניינים בהתפתחות שפת הפרולוג שהיווה מקור לוויכוחים אקדמיים מרים, הוא ההוספה של הגיזומים (Cut - תחביר: סימן קריאה !) לתחביר השפה. הCut, מצד אחד, מאפשר הגדלת יעילות הריצה בצורה משמעותית, על-ידי כך שהמתכנת מגדיר לאינטרפרטר לא לבצע backtracking במקרים מסוימים, שבהם המתכנת יודע שהbacktracking אינו רצוי מבחינתו או נידון להכשל; ומהצד השני, פוגם בצורה משמעותית בתחביר הדקלרטיבי של השפה, ומקרב אותה לשפות הפרוצדורליות (לדוגמה, הסדר שבו מוגדרים הפרדיקטים משפיע על תוצאות הריצה, תופעה שכמובן אין לה מקום בשפה דקלרטיבית אמיתית)
לא ניתן להזכיר את פרולוג מבלי להזכיר את שפת הלווין דטלוג. דטלוג מוגדרת כתת-שפה (חלקית ממש) של פרולוג, אשר מצד אחד יותר מצומצמת מפרולוג, אבל מצד שני הינה דקלרטיבית אמיתית, ואינה תומכת בCuts. בדטלוג גם אין פונקציות ומנגנון ההסקה שלה הוא Bottom-Up, בניגוד לפרולוג שהיא Top-Down. דטלוג משמשת בעיקר למסדי-נתונים לוגיים בתחומי ה Business Intelligence.
בעבר תלו בפרולוג תקוות גדולות והיו שחשבו שהיא מסמלת את הכוון העתידי של שפות התכנות. כיום אפשר לומר שהתקוות לא התממשו ופרולוג, אלגנטית ומענינת ככל שתהיה, נותרה שפה אקדמית בלבד.
למחשבים אישיים התפרסם Turbo Prolog ו Amzi! פרולוג. כמו כן קיימת הרחבה גרפית ותמיכה בשפה העברית לאמזי פרולוג OW Prolog.
[עריכה] ראו גם
[עריכה] לקריאה נוספת
- קלוקסין ומליש, תכנות בשפת פרולוג, הוצאת אופוס, 1988.
- Leon Sterling and Ehud Shapiro, The Art of Prolog: Advanced Programming Techniques, 1994
- Ivan Bratko, Prolog - Programming for Artificial Intelligence, 1990.
[עריכה] קישורים חיצוניים
| שפות תכנות |
|---|
|
Ada | ALGOL | Awk | Assembly | Basic | BCPL | C | C++ | C# | Cobol | Delphi | Eiffel | Forth | Fortran | Haskell | Java | Lisp | Logo | Miranda | Modula-2 | Oberon | Ocaml | Pascal | PHP | Perl | PL/I | PL/SQL | Prolog | Python | REXX | Ruby | Smalltalk | Visual Basic |
