- •Міністерство освіти і науки, молоді та спорту україни Тернопільський національний технічний університет імені Ів. Пулюя
- •Лабораторне заняття №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.2 Завантаження системи Турбо-Пролог, ввід і запуск програм
Завантажте систему програмування Турбо-Пролог та:
– ознайомтеся з опціями головного меню і вивчите їхнє призначення;
– налаштуйте, якщо необхідно, розміри і колірні палітри усіх вікон;
– визначите шляхи доступу до файлів, встановивши потрібні для каталоги;
– виконані установки запишіть у файл конфігурації.
Ввійдіть у режим редагування системи Турбо-Пролог, скориставшись командою "Edit" головного меню, і введіть програму 2.1. Закінчивши ввід, вийдіть з редактора в головне меню системи, натиснувши клавішу “Esc”.
/* Програма 2.1 */
predicates
likes(string, string)
clauses
likes ("Іван","Марія").
likes ("Петро","пиво").
likes ("Іван", Х) if likes ("Петро", Х).
Запустіть програму на виконання, вибравши команду “Run” головного меню. У даній програмі немає секції goal, тобто в програмі відсутня внутрішня мета, що визначає рішення конкретної задачі. Такі програми можуть використовуватися тільки в середовищі системи Турбо-Пролога. Тому, після її запуску на виконання системою активізується вікно “Діалог” і з'являється запрошення на введення зовнішньої мети (GOAL:)
2.3 Робота з Пролог-програмами в режимі діалогу
Зовнішні цілі – це запити до програми, сформовані користувачем у вікні “Діалог”. Наприклад, введіть запит
GOAL: likes(Who,"пиво").
Поясніть: що позначає даний запит, до яких елементів мови Турбо-Прологу варто віднести такі об'єкти запиту, як “пиво”, Who і likes.
Активізуйте введений запит. Для цього треба після закінчення його набору натиснути клавішу “Enter”. До натискання “Enter” запит можна редагувати. У відповідь на запит у вікні “Діалог” з'явитися рішення.
Who=Петро
Who=Іван
Система запам'ятовує останній із уведених запитів. Для того, щоб викликати повторно попередній запит, слід натиснути функціональну клавішу F8. Викличте повторно попередню мету і відредагуйте її так, щоб вона мала вигляд
GOAL: likes(Who,"пиво","Марія").
Запустіть її на виконання і поясніть отриманий результат.
Аналогічні дії проробіть по введенню і запускові запиту виду:
GOAL: likes(Іван, Х)
Поясніть отриманий результат, внесіть зміни в запит, щоб він відповідав синтаксисові мови Турбо-Пролог і повторно запустіть запит на виконання.
Змінимо опис предиката likes так, щоб було ясно, між якими об'єктами реального світу встановлюється відношення. Так, для розглянутого приклада, відношення likes визначається між деякою особою (person) і деякою іншою особою або річчю (thing). Для обліку введеного доповнення, слід замінити в секції predicates опис предиката на новий
likes(person,thing)
Відкоригуйте програму і запустіть програму на виконання.
При цьому система видасть повідомлення про помилку й у вікні редагування курсором буде відзначене те місце, де транслятор знайшов помилку. Текст повідомлення про помилку “Неоголошений домен або помилка в написанні” дає підказку про те, що перейшовши до використання нестандартних (тобто визначених користувачем) доменів ми забули оголосити їхні типи.
Оскільки областю зміни двох, знову об’явлених, доменів є символьні дані (точніше дані типу рядок символів), то в програму повинна бути додана секція domains, де слід оголосити нестандартні домени і їхні типи. Для даної програми дана секція моте мати такий вигляд:
domains
person = string
thing = string
або
domains
person, thing = string
Введіть ці позиції в програму, запустіть її на виконання і задайте до кожної, із них запити, що раніше вводилися. Результат повинний відповідати попередньому.