סביבת העבודה

צעדים ראשונים

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

קבצי פרולוג נשמרים בדרך כלל עם הסיומת .pl (או .pro אם זו תפוסה כבר). על מנת לערוך קובץ פרולוג יש לפתוח אותו בעורך טקסטואלי כלשהוא. Notepad מספיק בהחלט, אך אם יש ברשותכם עורך משוכלל יותר, מה טוב.

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



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

ובכן, אם נסכם:

Unix Windows  
machine % pl

להקליק פעמיים על plwin.exe (יימצא תחת הספריה bin במקום בו הותקן פרולוג, למשל: C:\Program Files\pl\bin)

פתיחה

לטעינת תכנית בשם file.pl:
consult(file).
או: [file]. (לא להשמיט הנקודה בסוף!)

להקליק פעמיים על הקובץ מתוך התיקיה של Windows או: בתוך פרולוג, לבצע את ההוראות משמאל כמו ביוניקס

טעינת תכנית

אחרי טעינת תכנית, ניתן להציג שאילתות לפרולוג לגבי התכנית.

השאילתא להלן שואלת את פרולוג "מי ביקר ב'ארה"ב'?". המערכת משיבה תשובות מהצורה <ערך> = X אם היא מוצאת X שעבורו השאילתא נכונה. אפשר לבקש תשובות נוספת על ידי הקשת נקודה-פסיק (;), או להקיש Enter אם מרוצים מהתשובות עד כה. פרולוג משיב Yes. אם הוא משיב No סימן שאין ביכולתו לספק תשובות (נוספות) לשאילתא.

?- visit(X, usa).

X = ron ;

X = bettie ;

No

?-

פרולוג מציג הודעות שגיאה כאשר השאילתא או התכנית מכילות שגיאות.

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

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

להלן קישורים למדריכים למשתמש של התוכנות שהזכרנו כאן:

http://www.sics.se/isl/sicstuswww/site/documentation.html :SICStus
http://www.sics.se/isl/quintuswww/site/documentation.html :Quintus
http://www.amzi.com/manuals/amzi6/amzidoc.htm :Amzi!
http://www.isi.edu/acal/aqp/readme-full.html :Aquarius Prolog
http://www.swi-prolog.org/documentation.html :SWI Prolog

מבוא

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

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

סיכום

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