רגע לפני פרקי הלימוד עצמם, נקדיש פרק להורדה והתקנה של פרולוג ונעשה את הצעדים הראשונים בפתיחת תכניות פשוטות ואינטראקציה עם סביבת העבודה.
ידע בסיסי שנזדקק לו בשלב זה כולל:
כיצד לנווט במערכת הקבצים של המחשב, ליצור קבצים חדשים, להעתיק קבצים מתיקיה לתיקיה, לתת שם לקבצים.
כיצד לעבוד עם עורך טקסטואלי (כמו Notepad, Textpad ואחרים).
כיצד להתחבר לאינטרנט ולעבוד עם דפדפן.
נתחיל בסקירה של מספר יישומי פרולוג מוכרים, עם קישורים לאתרי האינטרנט המתאימים להורדת התוכנה.
יישומים מסחריים
יישומים מסחריים של פרולוג מתאפיינים בתכונות הבאות:
הם בתשלום (לפעמים קיימת אופציה לרכוש רשיון אקדמי מוזל)
הם משמשים לכתיבת מערכות גדולות ויציבות בשוק התוכנה
לרוב הם מספקים debugger איכותי וספריות מובנות רבות
קהל היעד שלהם הוא קהל המתכנתים המנוסים
SICStus
גרסא מסחרית של פרולוג המפותחת על ידי Swedish Institue of Computer Science (SICS). השפה תואמת את הסטנדרט של Edinburgh Prolog ורצה על רוב הפלטפורמות של Unix, חלונות, MSDOS ומקינטוש.
גרסא מסחרית נוספת של פרולוג הנתמכת כיום על ידי SICS. זהו כלי פיתוח מקיף לפרולוג הכולל ספריות עזר רבות, ממשק גרפי למשתמש (GUI), debugger, עזרה מקוונת ועוד.
מצוינים ללימוד התוכנה ומשמשים בהוראה בבתי ספר ובאקדמיה
מספקים תמיכה במערכות הפעלה רבות למחשב האישי (כולל Windows, MacOS, Linux)
קהל היעד כולל גם את קהל הלומדים המתחילים והמתקדמים
Aquarius Prolog
יישום פרולוג המפותח מאז 1989 על ידי פרויקט אקווריוס באוניברסיטת ברקלי, באוניברסיטת דרום קליפורניה, ובמעבדות המחקר של Digital Equipment Corporation בפריז. הוא מכיל סביבת הרצה הדומה לזו של Quintus, תיעוד וקוד.
גרסא חופשית לשימוש לא מסחרי המפותחת על ידי מחלקה באוניברסיטת אמסטרדם, הולנד (יש להשיג רשיונות לשימוש מסחרי).
השפה תואמת את הסטנדרט של Edinburgh Prolog ומכילה הרחבות שתואמות גם Quintus. רצה על פלטפורמות רבות של Unix, חלונות, ומקינטוש.
תוכנת פרולוג עברי פותחה במכון ויצמן למדע על ידי ברנרד ווינברג ומשה פונטש. שם התוכנה "פעמון", ראשי תיבות של פרולוג עברי מכון ויצמן. ספר הלימוד תכנות לוגי (פרולוג) מניח שימוש בתוכנה.
