שדרגנו את דוסינט כדי להעניק לכם חוויית גלישה מהירה, נוחה ומתקדמת יותר!
עיצוב חדש ומרענן, מעבר חלק בין העמודים, צ׳אט משודרג עם חדר כללי וחדר מנויים, מערכת חיפוש חכמה ועוד מגוון שיפורים שיהפכו את הגלישה שלכם למהנה במיוחד.
נתקלתם בתקלה או שמשהו לא עובד כמצופה? ספרו לנו ונשמח לטפל בכך בהקדם.
בברכה, צוות אתר דוסינט
| סיקור זה נוסף ע"י | יצחק0 |
| עודכן בתאריך | 19-12-2013 |
| שנת יציאה | 1972 |
| גודל קובץ | 10 MB |
| מספר סיקור | 22144 |
| רמת כשרות | ![]() |
פרולוג (באנגלית: Prolog) היא שפת תכנות לוגית שפותחה במקור לכתיבת יישומי בינה מלאכותית. השפה היא שלמה טיורינג (Turing-Complete), כלומר ניתן לממש באמצעותה כל מה שאפשר לממש בשפות התכנות הנפוצות. שמה נגזר מצירוף המילים "תכנות בלוגיקה" (באנגלית: PROgramming LOGic).
בניגוד לשפות התכנות הנפוצות, תכנות בפרולוג איננו כתיבה של סדרת הוראות לביצוע. הרצה של תוכנית פרולוג היא הגדרת עובדות וכללים והצגת שאילתות לגביהם. מבחינה זו, יש קשר הדוק בין פרולוג לבסיסי נתונים. לפרולוג יש מנגנון הוכחה פנימי שנועד להשיב על שאילתות מורכבות. לב מנגנון ההוכחה הוא אלגוריתם להאחדה של תבניות (unification). בנוסף, כולל מנגנון ההוכחה אלגוריתם פשוט של גישוש נסוג (Backtracking).
תהנו :)
תגובות ההורדה