1. מתי תשובתו של פרולוג היא "לא "?
2. התייחס לתכנית הבאה:
parents(james, lilly, harry).
male(james).
father(F, Child) :- parents(F, M, Child), male(F).
מהי ההאחדה הראשונה המתבצעת בעת חישוב השאילתא father(X, harry)?
בשורות להלן מובאים צמדי ביטויים שלא ניתן לבצע ביניהם האחדה.
f(a,b) f(a,c)
f(a,b,c) f(X,Y)
f(a,b,c) g(X,Y,Z)
f(a,b,c) f(X,Y,d)
1+1 (0+1)+X
3. באיזה שורות הסיבה לכשלון ההאחדה נעוצה במתארים של הביטויים?
4. באיזה שורות הסיבה לכשלון נעוצה בערכי המתוארים?
5. התייחס להגדרה הבאה של משפחה:
family(parent(J,Z), parent(K,Z)).
מה תהיה תשובתו של פרולוג לשאילתא: family(parent(aba, yeled), X).?
|
