2.2.9. Чи є діти у Боба, що є батьками Ліз?

2.2.10. Визначити всіх дітей Мері.

2.2.11. Хто є батьком батька Ліз?

2.2.12. Чи є батьки у Пат, що є дітьми Мері?

2.2.13. Чи є діти у Пат?

2.2.14. Чи є у Ліз та Боба спільні батьки?

2.2.15. Визначити всіх батьків Пат.

2.3. Запишіть наступні твердження у вигляді правила на Пролозі.

2.3.1. Відношення мати mother описується таким чином: Для всіх X і Y, X -mother Y, if X - parent Y і X - female.

2.3.2. Відношення внучка granddauter описується таким чином: Для всіх X, Y і Z X - granddauter Z, if Z - parent Y і Y - parent X i X - female.

2.3.3. Відношення дідусь grandpa описується таким чином: Для всіх X, Y і Z X -grandpa Z, if X - parent Y і Y - parent Z i X - male.

2.3.4. Відношення сестра sister описується таким чином: Для всіх X, Y і Z X - sister Y, if Z - parent X і Z - parent Y i X - female.

2.3.5. Відношення двоюрідна сестра cousin_f описується таким чином: Для всіх X, Y, Z, K i M X - cousin_f Y, if Z - parent K і Z - parent M, і K - parent X, і M - parent Y i X - female.

2.3.6. Відношення дочка daughter описується таким чином: Для всіх X і Y, Y - daughter X, якщо X -parent Y і Y - female.

2.3.7. Відношення тітка aunt описується таким чином: Для всіх X, Y, Z i K X - aunt Y, if Z - parent X і Z - parent K, і K - parent Y i X - female.

2.3.8. Відношення батько father описується таким чином: Для всіх X і Y, X -father Y, if X- parent Y і X - male.

2.3.9. Відношення бабуся grandma описується таким чином: Для всіх X, Y і Z X -grandma Z, if X- parent Y і Y- parent Z i X - female.

2.3.10. Відношення син son описується таким чином: Для всіх X і Y, Y - son X, якщо X -parent Y і Y - male.

2.3.11. Відношення брат brother описується таким чином: Для всіх X, Y і Z X - brother Y, if Z - parent X і Z - parent Y i X - male.

2.3.12. Відношення внук grandson описується таким чином: Для всіх X, Y і Z X - grandson Z, if Z - parent Y і Y - parent X i X - male.

2.3.13. Відношення двоюрідний брат cousin_m описується таким чином: Для всіх X, Y, Z, K i M X - cousin_m Y, if Z - parent K і Z - parent M, і K - parent X, і M - parent Y i X - male.