פרולוג/תרגיל מסכם: סבא של עצמי

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
קפיצה לניווט קפיצה לחיפוש

"אני סבא של עצמי"[עריכה]

קראו את השיר "אני סבא של עצמי":

עצות[עריכה]

  • לא כדאי להמציא שמות כי זה יהיה סתם מבלבל.
  • את כל העובדות כדאי לכתוב יחסית לדובר, כלומר:
    אב(אני,בני).
    אם(אשתי,בת_אשתי).

חלק א[עריכה]

  1. כתבו את כל העובדות הפשוטות נוסח "אב/2", "אם/2".
  2. כתוב את כל הצירופים של הזוגות הנשואים עם "נשואים/2".

חלק ב[עריכה]

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

  1. אב_חורג/2
  2. אם_חורגת/2
  3. הורה/2
  4. הורה_חורג/2

חלק ג[עריכה]

התחשבו בהורים חורגים והגדירו את החוקים:

  1. אחים/2
  2. אחים_חורגים/2

השתמשו ב"נשואים/2" על מנת לכתוב את החוקים:

  1. חותן/2
  2. חותן_חורג/2
  3. דוד/2
  4. דוד_חורג/2

חלק ד (ואחרון)[עריכה]

הגדירו את החוקים:

  1. סבתא/2
  2. סבתא_חורגת/2
  3. סבא_חורג/2

הרצה[עריכה]

אם הגדרתם הכל כהלכה, אמור להתקבל פלט מהצורה:

?- סבא_חורג(אני,אני).

Yes

?- סבא_חורג(_סבא,_נכד).

_סבא = 'אני',
_נכד = 'אני' ;

_סבא = 'אבי',
_נכד = 'בני' ;

_סבא = 'אבי',
_נכד = 'בת_אשתי' ;

No


שימו לב:

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

פתרון[עריכה]