איך להריץ פרולוג?

SICStus Prolog הינו מערכת פיתוח לשפת פרולוג. הוא נותן למשתמש סביבת תכנות אינטראקטיבית עם כלים לבניית תוכניות (building), בדיקת שגיאות (debugger).

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

 דוגמא: לצורך הדוגמא נשתמש בעורך emacs ונקיש את הפקודה לפתיחת קובץ:

% emacs ex1.pl

פקודה זו פתחה את העורך ויצרה את הקובץ ex1.pl (סיומת pl לקובץ מסמלת שזהו קובץ הכתוב בשפת פרולוג).

נראה את תוכן הקובץ ex1.pl:

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

 GNU Emacs במקום זאת: נניח כי מותקן GNU Emacs ל- SICStus, נכניס את השורה ' ~/.emacs ' מה שיגרום להשתמש באופן זה של המערכת אוטומטית כאשר עורכים קובץ בשפת פרולוג (סיומת pl). Emacs ישתמש בערכי המשתנים של סביבת EPROLOG בתור פקודות מעטפת כדי לקרוא ל- SICStus.

מהמעטפת של יוניקס יש להקיש את הפקודה:

% prolog -l prologfile

לאחר מכן יופיע לפנינו סמן ההנחיה של פרולוג:

| ?-

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

 דוגמא: הרצת השאילתא is_member המקבלת רשימה ואיבר, ובודקת האם האיבר נמצא ברשימה: