סביבת העבודה

התקנה

רגע לפני פרקי הלימוד עצמם, נקדיש פרק להורדה והתקנה של פרולוג ונעשה את הצעדים הראשונים בפתיחת תכניות פשוטות ואינטראקציה עם סביבת העבודה.

ידע בסיסי שנזדקק לו בשלב זה כולל:

  1. כיצד לנווט במערכת הקבצים של המחשב, ליצור קבצים חדשים, להעתיק קבצים מתיקיה לתיקיה, לתת שם לקבצים.
  2. כיצד לעבוד עם עורך טקסטואלי (כמו Notepad, Textpad ואחרים).
  3. כיצד להתחבר לאינטרנט ולעבוד עם דפדפן.

נתחיל בסקירה של מספר יישומי פרולוג מוכרים, עם קישורים לאתרי האינטרנט המתאימים להורדת התוכנה.

יישומים מסחריים

יישומים מסחריים של פרולוג מתאפיינים בתכונות הבאות:

  • הם בתשלום (לפעמים קיימת אופציה לרכוש רשיון אקדמי מוזל)
  • הם משמשים לכתיבת מערכות גדולות ויציבות בשוק התוכנה
  • לרוב הם מספקים debugger איכותי וספריות מובנות רבות
  • קהל היעד שלהם הוא קהל המתכנתים המנוסים

SICStus

גרסא מסחרית של פרולוג המפותחת על ידי Swedish Institue of Computer Science (SICS). השפה תואמת את הסטנדרט של Edinburgh Prolog ורצה על רוב הפלטפורמות של Unix, חלונות, MSDOS ומקינטוש.

אתר: http://www.sics.se/isl/sicstus.html

Quintus

גרסא מסחרית נוספת של פרולוג הנתמכת כיום על ידי SICS. זהו כלי פיתוח מקיף לפרולוג הכולל ספריות עזר רבות, ממשק גרפי למשתמש (GUI), debugger, עזרה מקוונת ועוד.

אתר: http://www.sics.se/isl/quintus.html

Amzi!

מערכת פיתוח תואמת סטנדרט Edinburgh המאפשרת לשלב קוד פרולוג במסגרת C, C++, ויז'ואל בייסיק, דלפי, אקסס וכלים אחרים של חלונות.

אתר: http://www.amzi.com

יישומים חופשיים

יישומים חופשיים מתאפיינים בכך שהם:

  • ניתנים בחינם
  • מצוינים ללימוד התוכנה ומשמשים בהוראה בבתי ספר ובאקדמיה
  • מספקים תמיכה במערכות הפעלה רבות למחשב האישי (כולל Windows, MacOS, Linux)
  • קהל היעד כולל גם את קהל הלומדים המתחילים והמתקדמים

Aquarius Prolog

יישום פרולוג המפותח מאז 1989 על ידי פרויקט אקווריוס באוניברסיטת ברקלי, באוניברסיטת דרום קליפורניה, ובמעבדות המחקר של Digital Equipment Corporation בפריז. הוא מכיל סביבת הרצה הדומה לזו של Quintus, תיעוד וקוד.

אתר: http://www.isi.edu/acal/aqp/aqp_intro.html

SWI Prolog

גרסא חופשית לשימוש לא מסחרי המפותחת על ידי מחלקה באוניברסיטת אמסטרדם, הולנד (יש להשיג רשיונות לשימוש מסחרי). השפה תואמת את הסטנדרט של Edinburgh Prolog ומכילה הרחבות שתואמות גם Quintus. רצה על פלטפורמות רבות של Unix, חלונות, ומקינטוש.

אתר: http://www.swi-prolog.org

פרולוג עברי

תוכנת פרולוג עברי פותחה במכון ויצמן למדע על ידי ברנרד ווינברג ומשה פונטש. שם התוכנה "פעמון", ראשי תיבות של פרולוג עברי מכון ויצמן. ספר הלימוד תכנות לוגי (פרולוג) מניח שימוש בתוכנה.

עורך

לאחרונה פותח עורך טקסטואלי שמתאים לעבודה עם פרולוג. גרסא נסיונית של עורך זה, אשר עובד עם SWI Prolog, ניתן למצוא בקישור הבא:
http://www.bildung.hessen.de/abereich/inform/skii/material/swing/indexe.htm

התקנה צעד אחר צעד

כעת להתקנה עצמה. נדריך אתכם בהתקנה של גרסת SWI Prolog מאתר האינטרנט המצוין לעיל.
שלבי ההתקנה, צעד אחר צעד:

  1. התחברו לאינטרנט וגילשו אל: http://www.swi-prolog.org/download.html
  2. בחרו את הגרסא המתאימה למערכת ההפעלה של המחשב שלכם
  3. שימרו את קובץ ה-exe על המחשב
  4. הקליקו פעמיים על הקובץ אחרי שהסתיימה הורדתו
  5. מלאו אחר ההוראות באשף ההתקנה

הסרטון הבא מציג את שלבי ההתקנה ומלווה בכתוביות עם הסברים:


זהו סרטון. השתמשו בכפתורים לעיל כדי לנגן את הסרט, לעצרו, או להתקדם בו קדימה ואחורה. ליחצו על הכפתור השמאלי ביותר (play) כדי להתחיל בצפיה.

מבוא

נושאים בסיסיים

נושאים מתקדמים

סיכום

© כל הזכויות שמורות למערכת המידע איתן