ОДМ/Laboratory/Laboratory2/5report
Raw

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

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

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

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

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

  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).

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

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

Laboratory/Laboratory2/5report.md · 4.2 KB · updated 2026-08-04 14:38