כמה כללים לגבי החוברת :

1

כמה כללים לגבי החוברת :

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

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

.PROLOG בנושא : חוברת [email protected] לדואר : .WINDOWS XP, התרגילים הורצו על 5.2.1 גרסה SWI-PROLOG החוברת נבנתה על

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

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

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

התחלה

mailto:[email protected]

http://www.netanya.ac.il/

2

תוכן ענייניםתוכן עניינים

: חוקי פרולוג : חוקי פרולוג 11שיעור מס' שיעור מס' הבסיסים.הבסיסים.

: הפעלה והכרת תפריטי ה : הפעלה והכרת תפריטי ה 22שיעור מס' שיעור מס' PrologProlog

: כתיבת תוכנית צאצא : כתיבת תוכנית צאצא33שיעור מס' שיעור מס'

: עריכת קובץ קיים : עריכת קובץ קיים44שיעור מס' שיעור מס'

: החלק : החלק 55שיעור מס' שיעור מס' : הכרת הממשק הגראפי : הכרת הממשק הגראפי66שיעור מס' שיעור מס' המעשיהמעשי

התחלההתחלה

3

11שיעור מס' שיעור מס' נושא השיעור:חוקי פרולוג נושא השיעור:חוקי פרולוג

בסיסיםבסיסים


4

חוקי הפרולוגחוקי הפרולוג

יוגדר כאשר האות השמאלית ביותר תהיה אות לטינית קטנה. יוגדר כאשר האות השמאלית ביותר תהיה אות לטינית קטנה. "קבוע" "קבוע"

יוגדר כאשר האות השמאלית ביותר תהיה אות לטינית גדולה. יוגדר כאשר האות השמאלית ביותר תהיה אות לטינית גדולה. "משתנה" "משתנה"

..parent(a,b)parent(a,b)יוגדר כמחרוזת המכילה סוגרים ונקודה בסוף, למשל יוגדר כמחרוזת המכילה סוגרים ונקודה בסוף, למשל "יחס""יחס"

""arityarity " ".יקרא, מספר הפסיקים בתוך סוגרי היחס ועוד אחד.יקרא, מספר הפסיקים בתוך סוגרי היחס ועוד אחד

יחס אחד או יותר המסתיים בנקודה.יחס אחד או יותר המסתיים בנקודה."פסוק""פסוק"

שלהם. שלהם.arityarity אחד מהקריטריונים להבדל בין יחסים הוא ה אחד מהקריטריונים להבדל בין יחסים הוא ה

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


5

22שיעור מס' שיעור מס' נושא השיעור: נושא השיעור:

הפעלה והכרת תפריטי הפרולוגהפעלה והכרת תפריטי הפרולוג


6

נסמן את התוכנה לאחר שהותקנה ונפעילה


7

זהו מסך הפתיחה והמסך בו נעבוד

הפרולוג ממתינה לפקודה מאיתנו

1 מציין כי זו שורה מספר 1הסימן .

:גרסה


8

טעינת קובץעריכת קובץ קייםיצירת קובץ חדש

אם ערכנו קובץ ונרצה לטעון אותו שוב

כמו הסייר של חלונות (מראה את התוכניות שלנו )


9

העתקת תוכן שסומן

הדבקת תוכן שסומן


10

שינוי גופן כללי בתוכנה

הצגת קובץ קונפיגורציות מערכת

הצגה/שינוי גדלי מחסניות


11

הפסקת תוכנית שרצה

פתיחת חלון נוסף לעבודה במקביל


12

צור נקודות מעקב

מעקב גרפי

הצגת סטאטוס כרגע של THREADיםה


13

אפשרות לקבלת עזרה או מהרשת או עזרה מובנית


14

33שיעור מס' שיעור מס' נושא השיעור:כתיבת תוכנית נושא השיעור:כתיבת תוכנית

צאצאצאצא


15

"נכנס בתפריט לאופציה "חדש

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

אחרי כתיבת התוכנית נסביר כיצד טוענים אותה לזיכרון


16

החלון הבא נפתח. נרשום למטה : את שם הקובץ

relations

את הסיומת הוא מקבל בצורה

אוטומטית מהפרולוג

"לאישור נלחץ על "שמור


17

נקבל מסך חדש, הכולל את העורך : NOTEPAD

נקבל מסך אזהרה שהקובץ אינו קיים ויש ליצור אותו.נאשר ב "כן"


18

נרשום את הקובץ, מההרצאהנלחץ על תפריט "קובץ" (על מנת לשמור אותו)

נבצע "שמור" (לשמירת הקובץ)נצא ע"י לחיצה על "יציאה" ונחזור לפרולוג.

שימו לב לסימן האחוז ולאחריו המספר . הסימן אחוזמסמן הערה, כלומר כל מה שאחרי האחוז הוא הערה.

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


19

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


20

נגיע לספריה בה שמרנו את הקובץ מקודם, נסמן אותו

ונלחץ על פתח


21

הקובץ ניטען כפי שניתן לראות בשורה זו.

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


22

44שיעור מס' שיעור מס' נושא השיעור:עריכת קובץ קיים נושא השיעור:עריכת קובץ קיים


23

עתה נעלה תוכנית פשוטה (מתוך הרצאה)

תוכנית של קשרי משפחה

לשם כך נלחץ על התפריט קובץ ובתוכו עריכה


24

נגיע לספריה המתאימה בה נמצא הקובץ הדרוש אותו אנו רוצים

.לערוך

"נסמן אותו ונלחץ על "פתח

ניתן גם להקיש עליו פעמיים עם .העכבר – הפעולה זהה


25

:לאחר שנסיים, נבצע שמירה ב

NOTEPAD

.ונצא ממנו בחזרה לפרולוג

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

המלצה שלי – לטעון אותה בצורה ידנית מחדש ולא להסתמך )(.על מנגנון זה


26

55שיעור מס' שיעור מס' נושא השיעור:החלק המעשי נושא השיעור:החלק המעשי


27

FILE->CONSULTFILE->CONSULTנטען ע"ינטען ע"י : :

""כפי שלמדנו בשקפים הקודמים את הקובץ "צאצאכפי שלמדנו בשקפים הקודמים את הקובץ "צאצא

:: תוכנו הואתוכנו הואishish((a,xa,x).).%1%1ishish((b,ab,a).).%2%2ishish((c,ac,a).).%3%3ishish((d,bd,b).).%4%4ishish((e,be,b).).%5%5ishish((f,cf,c).).%6%6ishish((g,cg,c).).%7%7ishish((h,dh,d).).%8%8ishish((i,di,d).).%9%9ishish((j,ej,e).).%10%10ishish((k,ek,e).).%11%11tztz((X,YX,Y):-):-ishish((X,YX,Y).).%12%12tztz((X,YX,Y):-):-ishish((Z,YZ,Y)),tz,tz((X,ZX,Z).).%13%13

aa הוא אבא של הוא אבא של xxשורות אלו מתארות יחס בין אבא לבן. למשל שורות אלו מתארות יחס בין אבא לבן. למשל

..cc ושל ושל bb הוא אבא של הוא אבא של aaו ו

tztzהפורמט של צאצא : (צאצא של, האם אני)הפורמט של צאצא : (צאצא של, האם אני) התחלההתחלה

28

עתה נריץ מספר שאילתות על מנת לקבל רושם מה בעצםעתה נריץ מספר שאילתות על מנת לקבל רושם מה בעצם

::פרולוג עושהפרולוג עושה

לפני כן נדגיש כי בפרולוג בכל משפט שנרשם יש לרשום נקודה לפני כן נדגיש כי בפרולוג בכל משפט שנרשם יש לרשום נקודה ..בסוףבסוף

1 ?1 ?- - tztz((x,ax,a). ). שאילתה ראשונה שהרצתישאילתה ראשונה שהרצתי

NoNoלמה קיבלתי תשובה שלילית. בעצם מה שאלתי פה ?למה קיבלתי תשובה שלילית. בעצם מה שאלתי פה ?

, לפי בסיס הנתונים זו היא שגיאה , לפי בסיס הנתונים זו היא שגיאה xx הוא צאצא של הוא צאצא של aaשאלתי האם שאלתי האם ולכןולכן

קבלנו תשובה שלילית.קבלנו תשובה שלילית.

2 ?- tz(b,x).2 ?- tz(b,x). שאילתה שנייה שהרצתישאילתה שנייה שהרצתי

YesYesלמה קיבלתי תשובה חיובית. בעצם מה שאלתי פה ?למה קיבלתי תשובה חיובית. בעצם מה שאלתי פה ?

bb הוא אבא של הוא אבא של aa, לפי בסיס הנתונים , לפי בסיס הנתונים xx הוא צאצא של הוא צאצא של bbשאלתי האם שאלתי האם ..xx הוא הצאצא של הוא הצאצא של bb ולכן ולכן xx הוא הבן של הוא הבן של aaו ו


29

3 ?- tz(_,x). 3 ?- tz(_,x). שאילתה שלישיתשאילתה שלישית

YesYesלמה קיבלתי תשובה חיובית. בעצם מה שאלתי פה ?למה קיבלתי תשובה חיובית. בעצם מה שאלתי פה ?

יש יש xxהקו התחתון אומר לפרולוג לבדוק האם הקשר קיים. השאלה היא בעצם – האם ל הקו התחתון אומר לפרולוג לבדוק האם הקשר קיים. השאלה היא בעצם – האם ל צאצאים.צאצאים.

1 ?- tz(WHO,x).1 ?- tz(WHO,x). שאילתה רביעיתשאילתה רביעית

WHO = a ;WHO = a ;WHO = b ;WHO = b ;WHO = c ;WHO = c ;WHO = d ;WHO = d ;WHO = e ;WHO = e ;WHO = h ;WHO = h ;WHO = i ;WHO = i ;WHO = j ;WHO = j ;WHO = k ;WHO = k ;WHO = f ;WHO = f ;WHO = g ;WHO = g ;NoNo

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

..NONOוכן – אקבל אותו, אחרת אקבל וכן – אקבל אותו, אחרת אקבל התחלההתחלה

30

2 ?- tz(b,WHO).2 ?- tz(b,WHO).שאילתה חמישיתשאילתה חמישית

WHO = a ;WHO = a ;

WHO = x ;WHO = x ;

NoNoמה שאלתי פה ?מה שאלתי פה ?

..bb הוא צאצא. במילים אחרות, מי הם האבא, סבא, אבא של סבא של הוא צאצא. במילים אחרות, מי הם האבא, סבא, אבא של סבא של bbשאלתי של מי שאלתי של מי הוא האבא הוא האבא xx וכמו כן וכמו כן bb הוא אכן האבא של הוא אכן האבא של aa ברשימה. וזה נכון היות ו ברשימה. וזה נכון היות ו xx ו ו aaקיבלתי אכן כי קיבלתי אכן כי

..bb מה שהופך אותו להיות הסבא של מה שהופך אותו להיות הסבא של aaשל של

3 ?3 ?- - tztz((_,__,_).).

YesYesמה שאלתי פה ?מה שאלתי פה ?

שאלתי האם קיים קשר צאצא בבסיס הנתונים בכלל. כמובן שקיים קשר כזה ולכן שאלתי האם קיים קשר צאצא בבסיס הנתונים בכלל. כמובן שקיים קשר כזה ולכן התשובה היא התשובה היא

כן.כן.


31

66שיעור מס' שיעור מס' נושא השיעור:הכרת הממשק נושא השיעור:הכרת הממשק

הגראפיהגראפי


32

נקבל את השורה הבאה : נקבל את השורה הבאה : CTRLCTRL++CCבעזרת מקש בעזרת מקש

Action Action ((h for helph for help) ) ? ? על מנת לקבל את תפריט העזרה : על מנת לקבל את תפריט העזרה : hhנלחץ על נלחץ על

Action (h for help) ? Options:Action (h for help) ? Options:a: abort b: breaka: abort b: breakc: continue e: exitc: continue e: exitg: goals t: traceg: goals t: traceh (?): helph (?): help


33

- tzנטען כפי שלמדנו קודם את קובץ ה צאצא

. debug דרך תפריט graphical debuggerנפעיל את ה

h ולאחר מכן CTRL+Cנלחץ נקבל את דף האופציות הזה –

לביצוע מעקב גרפי ונקבל בעצם tעתה נלחץ על שורה ריקה עם הסמן בה , נלחץ אנטר פעם אחת

כדי לקבל את הסימן הזה – הוא צאצא a כלומר נשאל האם tz(a,c)נרשום

ונלחץ על אנטר לאחר מכן.cשל


34

graphical debuggerקבלנו את החלון של ה

לתוכנת המעקב יש מספר רב של פונקציות, אסביר רק את הפונקציה הרלבנטית לצורך

המעקב. tz(a,c)זוכרים מה רשמנו לבדיקה ?

) tzניתן לראות בחלון זה את תוכן הקובץ שהרצנו (ואת הסימן הירוק המצביע על השורה בה אנו

נמצאים כרגע

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

סימן החץ שהוזכר קודם.

להתקדם במעקב

עומק העץ


35

לחצנו וזה המסך שקיבלנו

הסימון הירוק עובר לאיבר הבא אותו הפרולוג תבדוק

כאשר נרוץ עם איבר ish(x,y)האיבר הוא איש זה על המאגר שלנו ונבדוק את היחסים.

ish(a,c)בפועל נרוץ עם DEBUGGERנלחץ שוב על חץ ההתקדמות ב

העץ ממשיך לגדול


36

הסימון הירוק עובר לאיבר הבא אותו הפרולוג תבדוק

כאשר נרוץ עם איבר ish(x,y)האיבר הוא איש זה על המאגר שלנו ונבדוק את היחסים.

ish(a,c)בפועל נרוץ עם DEBUGGERנלחץ שוב על חץ ההתקדמות ב


37

כצפוי, היות ולא נמצא ה ish(a,c)

13תנסה הפרולוג את שורה ניתן לראות לפי הסימון הצהוב

נלחץ שוב על חץ ההתקדמות


38

ish(X,c)עתה תבדוק הפרולוג את . ניתן cכלומר האם יש צאצאים ל

לראות את הסימון הירוקנלחץ שוב על חץ ההתקדמות


39

f הוא cצאצא ראשון של 13מציאתו תחזירנו לשורה



40

הפרולוג תנסה להפעיל את חלקה ותכשל13השני של שורה



41

12חוזרים לשורה נלחץ שוב על חץ ההתקדמות


42

שוב מתבצעת סריקה לא מוצאיםish(a,f)מחפשים אחר



43

הפרולוג תכנס פנימה 13אנו בשורה נלחץ שוב על חץ ההתקדמות


44

שוב תשאל את השאילתה של איש כלומר ish(X,f)אבל הפעם עם

צאצאים.fהאם יש ל נלחץ שוב על חץ ההתקדמות


45

אין לו ולכן השורה נצבעת בצבע זהנלחץ שוב על חץ ההתקדמות


46

עתה כזכור 13 ו 12סיימנו עם שורה צאצאים שגילינו קודם 2 יש cלנו, ל

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

עתה על אותו בסיס נבצע את .g"עבודת המחקר" עבור צאצא



47

7חוזרים בסריקת המאגר לשורה נלחץ שוב על חץ ההתקדמות


48

7חוזרים בסריקת המאגר לשורה נלחץ שוב על חץ ההתקדמות


49

אחרי מציאת היחס תעבור הפרולוג לחלק המסומן בירוק מודגש13בשורה



50

בדומה לסריקות הקודמות, נבצע עתה ish(a,g) וברור כי נכשל היות ואין יחס כזה

(מה גם שידוע לנו ככותבי בסיס הנתונים כי g צאצא של a.(ולא להיפך



51

היחס אינו נמצא והוא נכשל.נלחץ שוב על חץ ההתקדמות


52

13הפרולוג תנסה את שורה נלחץ שוב על חץ ההתקדמות


53

13הפרולוג נכנסת פנימה בשורה ish(X,g)ומנסה להפעיל את היחס .gכלומר חיפוש אחר צאצאי

כמובן שהיא תיכשל נלחץ שוב על חץ ההתקדמות


54

מתבצעת סריקה וכישלון צפוי callנשים לב כיצד העץ בריבוע

stack.חוזר אחורה ברקורסיה נלחץ שוב על חץ ההתקדמות


55

מחזירנו 13הכישלון של שורה שגם היא נכשלת 12לשורה

כתוצאה מכך



56

מתבצעת סריקה וכישלון צפוינלחץ שוב על חץ ההתקדמות


57

שלבי החזרה ברקורסיה , ניתן לשים לב בשלבים אלו לעץ הרקורסיה

המתואר בריבוע הימני העליון.נלחץ שוב על חץ ההתקדמות


58

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

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

הפרולוג.נלחץ שוב על חץ ההתקדמות


59

קיבלנו תוצאה שלילית וצפויה צאצא בשם cשמשמעותה – אין ל

a .אחרת דרך אגב – תוך כדי הבדיקה

במסך המעקב הגראפי היינו מקבלים את התוצאות בחלון הזה

של הפרולוג.


Documents

כמה כללים לגבי החוברת :