# 5. Зміст звіту

Звіт здають разом із текстом програми. Він має містити такі розділи.

1. **Титульний блок** — назва дисципліни («Основи дискретної математики»), номер і
   тема лабораторної роботи (№ 2, «Створення системи логічних предикатів»), прізвище
   та ім'я студента, група, дата.

2. **Мета роботи** — стисле формулювання (див. [1purpose.md](1purpose.md)).

3. **Коротка теорія** — своїми словами (3–6 речень) поясніть: що таке **предикат** та
   його **місність**; що таке **факт**, **правило** (`:-`, кома як кон'юнкція) і
   **запит** у Prolog; правило запису **атомів** (мала літера) і **змінних** (велика);
   що таке **уніфікація** та **пошук із поверненням**. Використайте позначення
   [Лекції 6](../../Lectures/ODM-L06.md).

4. **Генеалогічне дерево** — опишіть обрану родину: перелік осіб із зазначенням статі
   та **схему дерева** (рисунок від руки або згенерований; стрілки — від батька/матері
   до дитини). Наведіть **лістинг базових фактів** `man/1`, `woman/1`, `father/2`,
   `mother/2`.

5. **Лістинг правил** — текст усіх реалізованих правил (`parent/2` і похідні предикати
   вашого рівня) з **короткими коментарями**, що пояснюють логічну формулу кожного
   (напр., чому потрібна умова `X \= Y`). Зазначте, які предикати відповідають якому
   рівню складності.

6. **Знімки запитів і відповідей** — для **кожного** реалізованого предиката подайте
   **скріншот** із SWISH: сам запит і повну відповідь (усі підстановки, отримані через
   `;`). Зручно звести це в таблицю **«запит → відповідь → пояснення»**. Обов'язково
   включіть: запит-перевірку факту, запит зі змінною (перелік розв'язків), запит, що
   дає `false`, і запит із кількома відповідями (з поясненням порядку та можливих
   повторів).

7. **Досягнутий рівень** — укажіть найвищий **повністю** виконаний рівень (базовий
   60–74 / середній 75–89 / високий 90–100) і перелічіть, які предикати він охоплює
   (див. рівні в [4task.md](4task.md)).

8. **Висновки** — що реалізовано; які відношення вдалося виразити через базові; які
   труднощі виникли (напр., повтори у відповідях, замкнений світ, велика/мала літера)
   і як їх подолано; чого навчилися про логіку предикатів і декларативне програмування.

**Вимоги до здачі.** Текст програми має **виконуватися** в SWISH без синтаксичних
помилок і відтворювати наведені у звіті відповіді. Усі похідні відношення мають бути
**виведені правилами** (логічними формулами над базовими предикатами), а **не**
перелічені фактами. Значення дерева — **власні** (індивідуальний варіант).