1. Що являє собою утиліта Test Goal? Утиліта середовища візуальної розробки інтерпретує GOAL як спеціальну програму, яка компілюється, компонується, генерується в файл і Test Goal запускає його на виконання. Ця утиліта внутрішньо розширює заданий код GOAL, щоб згенерована програма знаходила всі можливі рішення і показувала значення всіх змінних. Утиліта Test Goal компілює цей код з використанням опцій компілятора, заданих для відкритого проекту (рекомендовані опції компілятора для TestGoal-проекту ми визначили раніше). Необхідно зауважити, що утиліта Test Goal компілює лише той код, який визначений в активному вікні редактора (код в інших відкритих редакторах або модулях проектів, якщо вони є, ігнорується). 2. Як отримується розв’язок задачі в мові Пролог?

У Пролозі (Prolog – Programming Logic) розв’язок задачі отримується логічним висновком з раніше відомих тверджень.

3. Що зазвичай являє собою програма на мові Пролог?

Зазвичай програма на мові Пролог не є послідовністю дій, вона являє собою набір фактів з правилами, які забезпечують отримання висновків на основі цих фактів. Тому Пролог відомий як декларативна мова. 4. Назвіть найважливішу особливість мови Пролог.

Однією з найважливіших особливостей Прологу є те, що, на додачу до логічного пошуку відповідей на поставлені питання, він може мати справу з альтернативами і знаходити всі можливі рішення. Замість звичайної роботи від початку програми до її кінця, Пролог може повертатися назад і переглядати більше одного «шляху» при вирішенні всіх складових частин задачі. Програміст на Пролозі описує об'єкти (objects) і відношення (relations), а потім описує правила (rules), при яких ці відношення є істинні.

5. З яких розділів зазвичай складається програма на Visual Prolog?

Зазвичай програма на Visual Prolog складається з чотирьох основних програмних розділів.

До них відносяться:

 розділ clauses (речень);

 розділ predicates (предикатів);

 розділ domains (доменів);

 розділ goal (цілей). 6. Що розміщується в розділі речень?

В розділ clauses (речень) містяться всі факти і правила, які складають програму. Факти – це відношення або властивості, про які відомо, що вони мають значення «Істина». Факт представляє або властивість об'єкта, або відношення між об'єктами.

Факт самодостатній. Для підтвердження факту не потрібно додаткових відомостей, факт може бути використаний як основа для логічного висновку. 7. Дайте визначення поняттям «факт», «правило» і «заголовок».

Правила – це зв'язані відношення, вони дозволяють логічно виводити одну частину

інформації з іншої. Правило приймає значення «Істина, якщо доведено, що заданий набір умов є істинним. Правило – це властивість чи відношення, яке є достовірним, коли відомо, що ряд інших відношень достовірний. Синтаксично ці відношення розділені комами. Всі правила мають 2 частини: заголовок і тіло, розділені спеціальним знаком «:-».

Заголовок – це факт, який був би істинним, якщо б були істинними кілька умов. Це називається висновком або залежним відношенням. 8. Поясніть сенс комбінації символів «:-».

Символ «:-» рівнозначний «якщо» (if). Однак if в Пролозі відрізняється від if, написаного в

інших мовах, наприклад в Pascal, де умова, що міститься в операторі if, повинна бути вказана перед тілом оператора, який може бути виконаний. Даний тип оператора відомий як умовний оператор якщо/тоді (if/then). 9. Що розміщується в розділі предикатів?

Розділ предикатів (predicates). Якщо в розділі clauses програми на Visual Prolog описано

будь-який предикат, то він обов’язково повинен бути оголошеним в розділі predicates

(предикатів), в іншому випадку Visual Prolog не зрозуміє, про що ви йому «говорите». В результаті оголошення предиката програміст повідомляє, до яких доменів (типів) належать аргументи цього предиката. Visual Prolog поставляється з великим набором вбудованих предикатів (їх не потрібно оголошувати), а інтерактивне довідкове керівництво надає повний їх опис. Предикати задають факти і правила. У розділі predicates всі предикати просто перераховуються із зазначенням типів (доменів) їх аргументів.