- •Міністерство освіти і науки, молоді та спорту україни Тернопільський національний технічний університет імені Ів. Пулюя
- •Лабораторне заняття №1 Ознайомлення з мовою програмування Пролог
- •1.1 Загальні відомості про мову Пролог
- •1.2 Елементи мови Турбо-Пролог
- •1.3 Структура програм Турбо-Пролога
- •1.3.1 Секція domains Пролог-програми
- •1.3.2 Секція predicates
- •1.3.3 Секція clauses
- •1.3.4 Секція goal
- •1.3.5 Секція database
- •1.4 Оболонка системи Турбо-Пролог
- •1.5 Налагодження і трасування програм
- •Лабораторна робота №2 Робота з найпростішими програмами в системі Турбо-Пролог
- •2.1 Вступ
- •2.2 Завантаження системи Турбо-Пролог, ввід і запуск програм
- •2.3 Робота з Пролог-програмами в режимі діалогу
- •2.4 Трасування програм у середовищі системи Турбо-Пролог
- •2.5 Робота з програмами, що містять внутрішню мету
- •2.6. Найпростіша програма вводу-виводу даних
- •2.7 Побудова найпростішого інтерфейсу для виводу результатів запитів
- •8. Зміст звіту по лабораторній роботі
- •Лабораторна робота №3 Пролог-програми як найпростіші бази даних і знань
- •3.1 Вступ
- •3.2 Запити до бази даних
- •3.2.1 Прості запити
- •3.2.2 Складені запити
- •3.2.3 Запити з анонімними змінними
- •3.3. Статичні і динамічні бази даних
- •3.4. Явні і неявні бази даних. Правила логічного висновку
- •3.5 Використання структур у якості доменів відношень
- •6. Процедури як елемент представлення знань
- •3.7 Цілісність і несуперечність баз даних і знань
- •3.8. Зміст звіту по лабораторній роботі
- •Лабораторна робота №4. Керування ходом виконання програм у системі Турбо-Пролог
- •4.1 Робота системи Турбо-Пролог при виконанні запитів
- •4.2 Уніфікація термів
- •4.3 Пошук з поверненням при виконанні Пролог-програм
- •4.4 Використання відкату після невдачі при використанні внутрішньої мети для організації найпростішого інтерфейсу виводу
- •4.5 Зміст звіту по лабораторній роботі
- •Лабораторна робота №5 Керування ходом виконання Пролог-програм
- •5.1 Організація повторюваних процесів
- •5.2 Керування пошуком з поверненням
- •5.3 Керування ходом виконання програм з використанням відсікання
- •5.4 Застосування предикату not - заперечення як неуспіх
- •5.5 Використання методу відкату і відсікання
- •5.6 Відкат і відсікання при реалізації відносин типу „один-до-багатьох”
- •5.7 Ступінчаті функції і відсікання
- •5.8 Труднощі у використанні відсікання і заперечення
- •5.9 Зміст звіту по лабораторній роботі
- •Лабораторна робота №6 Рекурсія і рекурсивні процедури в Пролозі
- •6.1 Визначення поняття рекурсії
- •6.2 Склад рекурсивної процедури
- •6.3 Особливості виконання рекурсивних процедур Прологом-системою
- •6.4 Приклад рекурсивної процедури пошуку довжини маршруту на графі
- •6.5 Обмеження і властивості, що забезпечують цілісність відношень
- •6.6 Реалізація циклічних процедур за допомогою бектрекінгу
- •6.6.1. Реалізація ітераційного процесу за допомогою бектрекінгу
- •6.6.2 Дії типу ’до’ і ’після’
- •6.6.3. Застосування бектрекінгу для реалізації циклів
- •6.7 Зміст звіту по лабораторній роботі
- •Лабораторна робота №7 Списки і процедури їх обробки
- •7.1 Списки як рекурсивні структури даних
- •7.2 Використання списків в Пролог-програмах
- •7.3. Найпростіші процедури роботи зі списками
- •7.4 Процедури обробки списків
- •7.5. Компонування даних у список
- •7.6. Зміст звіту по лабораторній роботі
- •Лабораторна робота №8 Способи представлення баз даних у Пролог-програмах
- •8.1 Вступ
- •8.2 Представлення відносин у виді фактів
- •8.3 Представлення атрибутів у виді фактів
- •8.4 Представлення бази даних у виді списку структур
- •8.5 Представлення бази даних у виді лінійної рекурсивної структури
- •8.6 Представлення бази даних у виді двійкового дерева
- •8.7 Порівняння різних видів представлення бази даних
- •Лабораторна робота №9 Динамічні бази даних
- •9.1 Вступ
- •9.2 Прості прийоми роботи з динамічними бд
- •9.3 Зв’язок статичних і динамічних баз даних
- •9.4 Процедура роботи з динамічною бд, що навчається у користувача
- •9.5 Розширення бази даних у файли
- •9.6. Організації файлових бд на основі файлів прямого доступу
- •9.6. Особливості представлення динамічних баз даних у Visual Prolog
- •9.7 Зміст звіту по лабораторній роботі
- •Лабораторна робота №10 робота з складно структурованими базами даних
- •10.1 Опис логічної моделі даних
- •10.3 Отримання структурованої інформації з бази даних
- •10.4 Абстракція даних і побудова баз знань
- •10.5. Зміст звіту по лабораторній роботі
- •Лабораторна робота №11 дослідження методів представлення і обробки знань
- •11.1 Структура експертних систем
- •11.2 Представлення знань
- •11.3 Система інтерфейсу користувача
- •11.4 Експертна система на правилах
- •11.5 Експертні системи, що базуються на логіці
- •11.6 Структура бази знань експертної системи для вибору породи дерева
- •11.7 Зміст звіту
- •Список використаних джерел
- •Додаток а Службові предикати Турбо-Пролога
- •Додаток б Службові предикати Турбо-Пролога для роботи з файлами
- •Додаток в
- •Таблиця в.1 – Варіанти завдань
- •6. До лабораторної роботи №7
- •7. До лабораторної роботи №8
- •8. До лабораторної роботи №9
- •9. До лабораторної роботи №10
- •10. До лабораторної роботи №11
2.4 Трасування програм у середовищі системи Турбо-Пролог
Більш детально познайомитися з тим, як Пролог-система здійснює пошук відповідей на запити, а також відстежити послідовність узгодження фактів і правил Пролог-програми можна, використовуючи покроковий режим її виконання. Для переходу в режим покрокового виконання програми (трасування) необхідно в програмі використовувати директиву trace.
Поставте першим рядком програми директиву trace, що при виконанні програми забезпечить трасування всіх предикатів. Запустіть програму на виконання і задайте один з раніше виконуваних запитів.
Здійсніть, з використанням клавіші F10, покрокове виконання програми, ретельно відслідковуючи всі переміщення курсору у вікні редагування і реєструючи усі виведені у вікні трасування повідомлення.
Дослідіть послідовність доказу мети Пролог-системою.
2.5 Робота з програмами, що містять внутрішню мету
Змініть програму таким чином, щоб один з раніше використаних запитів, став внутрішньою метою програми. Для цього в програму треба додати ще одну секцію goal, де повинна бути описана основна мета, розв'язувана програмою. Нехай, для нашого приклада, вона буде мати вигляд:
goal
likes(Who,"пиво").
Модифіковану програму запустіть на виконання.
Якщо в програмі відсутні синтаксичні помилки, то після запуску її на виконання у вікні діалогу з'явиться повідомлення "Натисніть ПРОБІЛ", що свідчить про те, що програма відробила і запит виконаний. Але тоді виникає питання, а де ж результати запиту? А вся справа в тому, що в сформованій меті дається запит про узгодження перемінної Who із пропозиціями програми, а про відображення або висновок отриманих результатів нічого не говориться.
На відміну від діалогового режиму роботи, коли зовнішня мета формулюється у виді запиту до програми, а Турбо-система сама керує процесом пошуку і відображення результатів у деякому стандартному виді, при формуванні внутрішньої мети всі ці функції покладаються на користувача.
Формування внутрішньої мети програми вимагає від користувача не тільки завдання запиту, але і забезпечення відображення його результатів на екрані. Тому необхідно змінити мету, додавши ще одну підціль, що забезпечує відображення терму на екрані дисплея:
goal
likes(Who,"пиво"), write(Who).
Запустимо на виконання програму, у якій мета являє собою вже кон'юнкцію двох підцілей. У результаті виконання цієї програми у вікні діалогу видається повідомлення про один розв’язок,
Петро
Натисніть ПРОБІЛ
а після натискання клавіші “Пробіл”, відбувається зупинка програми і вихід у головне меню системи.
Зв'язано це з тим, що при значенні Who="Петро" кожна з підцілей приймає значення “істина” і вся мета стає щирої, що приводить до закінчення процесу висновку. Таким чином, при зовнішній меті система сама, керуючи пошуком, шукає всі правильні відповіді, то при використанні внутрішньої мети шукається тільки перша з них. Для забезпечення пошуку всіх розв’язків слід скористатися ще одним вбудованим предикатом fail.
Таким чином, з використанням внутрішньої мети, початкову нашу програму 2.1 можна представити в такому вигляді:
/* Програма 2.2 */
domains
person,thing = string
predicates
likes(person,thing)
goal
likes(Who,"пиво"), write(Who), nl, fail. /* ціль */
clauses
likes("Іван","Марія").
likes("Петро","пиво").
likes("Іван",X) :- likes("Петро",X).
Мета рішення складається з чотирьох підцілей, з'єднаних між собою комами, тобто мета рішення задачі представляється кон'юнкцією підцілей. Мета буде досягнута, тобто прийме значення "істина" (true), якщо кожна з підцілей буде щирою. Підцілі даної програми містять: один визначений користувачем предикат likes і три вбудованих стандартних предикати Турбо-Пролога:
– write(term) – виводить терм на дисплей,
– nl – забезпечує перехід на новий рядок,
– fail – викликає стан невдачі при доведенні цільового твердження.
Включення в мету додаткових підцілей зв'язане з тим, що завдання мети усередині програми вимагає від користувача не тільки формулювання запиту, але і забезпечення відображення його результатів на екрані, а також забезпечення пошуку всіх задовольняючому запитові значень.
Застосування предиката fail викликає стан невдачі при доведенні цільового твердження і перехід до повторного його доведення при інших початкових значеннях.
Відредагуйте програму 1 до стану програми 2 і запустіть її на виконання. Якщо ціль досягнута, збережіть програму у робочому каталозі на диску під ім'ям “lab2_1.pro”