« Назад

Мета: отримання основних навичок роботи в системі Пролог, вивчення технології підготовки і відлагодження Пролог-програм

Хід виконання роботи

1. Запустити систему Пролог-Д.

2. Ввести бінарне відношення РОДИТЕЛЬ (англ.:parent) і представити його у вигляді Пролог-програми. При цьому запис parent (tom, bob) означає, що tom є батьком bob'a. Символи tom і bob пишуться з малої літери, так як є константами мови Пролог. Змінні мови Пролог починаються з великих літер.

Відношення РОДИТЕЛЬ представимо наступною Пролог-програмою, що включає тільки одні факти:

Слід зазначити, що після кожного речення мови Пролог, в тому числі після фактів, обов'язково ставиться крапка.

3. Увійти в текстовий редактор системи Пролог і набрати представлену в п. 2 Пролог-програму.

4. Скласти і задати питання, які найбільш повно відображають можливості мови Пролог для даного прикладу, зафіксувати відповіді Пролог- системи на кожне питання.

Нижче перераховані питання, їх кодування на мові Пролог, відповіді Пролог-системи та їх інтерпретація.

ПИТАННЯ 1: "Чи є Bob батьком Pate ?".

ПИТАННЯ 2: "Чи є Lize батьком Pate ?"

ПИТАННЯ 3: "Чи є Tom батьком Ben ?"

ПИТАННЯ 4: "Хто є батьком Lize ?"

ПИТАННЯ 5: "Кто дети Bob'a ?"

 

Пролог-система видає декілька відповідей. До пошуку декількох відповідей її спонукає знак ";" вводиться користувачем після отримання чергової відповіді.

ПИТАННЯ 6: "Хто чий батько?"

ПИТАННЯ 7: " Хто є батьком батька Jhim'a?"

ПИТАННЯ 8: "Хто онуки Tom'a ?"

ПИТАННЯ 9: "Чи є у Anna і Pate загальний батько?"

5. Додати інформацію про те, яка стать людей, що беруть участь в відношенні батьків, з використанням унарних відносин ЖІНКА(англ.: woman) і ЧОЛОВІК (англ.:man):

6. Визначити відношення МАТИ (англ.: mother) наступним чином:

7. Скласти і задати системі ПИТАННЯ, яке відносяться до відношення МАТИ.

8. Визначити рекурсивне відношення ПРЕДОК (predok) наступним чином:

9. Задати системі ПИТАННЯ, яке відносяться до відношення ПРЕДОК: "Хто є предком Pame?"

11. Оформити звіт, в який включити побудову генеалогічного дерева, Пролог-програму, ПИТАННЯ, представлені засобами Прологу, і відповіді на дані ПИТАННЯ, видані Пролог-системою.