1. סמן את הביטוי יוצא הדופן:
2. אחד הביטויים להלן איננו ביטוי חוקי בפרולוג. מיהו?
3. למדנו שבפרולוג ביטויים נחלקים לפשוטים ולמורכבים. מתוך ארבע השורות הבאות, רק באחת הביטויים אינם כולם מאותו סוג. מיהי השורה החריגה?
4. עובדה היא חוק מנוון: משהו שנכון תמיד, בכל תנאי.
בהינתן האטום true שמשמעותו טענה שנכונה תמיד, נסחו את העובדה is_raining. בצורת חוק.
5. לאור התכנית הבאה, על איזו שאילתא ישיב פרולוג No?
hobbit(sam).
hairy_feet(bilbo).
loves_food(frodo).
hairy_toes(frodo).
hobbit(X) :- hairy_feet(X), loves_food(X).
hairy_feet(X) :- hairy_toes(X).
6. בהמשך לתכנית האחרונה שראינו:
hate(uncle_vernon, harry).
hate(aunt_petunia, harry).
hate(harry, uncle_vernon).
love(X, Y) :- hate(X,Z), hate(Y,Z).
כדי לבדוק מיהם כל האנשים שאוהבים אחד את השני על פי הידוע בתכנית, נציג לפרולוג את השאילתא: love(A, B).
כמה פתרונות נקבל?
| 
