Звіт з лабораторних робіт
Створення середовища супроводу життєвого циклу експертних систем на базі пакетів Visual, SWI-Prolog
Мета роботи: Вивчити функціональні можливості мови логічного програмування Prolog і можливості систем SWI-Prolog і Visual Prolog. Встановити системи (Visual і SWI-Prolog) і побудувати базу знань щодо визначення можливості працевлаштування студента і реалізувати запити за даним завданням.
Хід роботи:
1. Параметри персональної робочої платформи інформатизації представлені на малюнку 1.
Малюнок 1. Параметри ноутбука
. Для установки був обраний дистрибутив Visual Prolog 7.5 (# justify gt ;. На малюнках 2-7 представлена ??поетапна установка системи Visual Prolog.
Малюнок 2. Початок установки
Малюнок 3. Ліцензійна угода
Малюнок 4. Шлях установки
Малюнок 5. Підтвердження початку установки
Малюнок 6. Процес установки
Малюнок 7. Встановлення завершено
. Побудуємо базу знань в системі Visual Prolog, що описує відносини виду «батько-дитина» (малюнок 8).
Малюнок 8. Побудована база знань
логічний програмування prolog
5. Складемо запит для визначення правильності твердження: Марина є батьком Саші. (малюнок 9).
Запит: parent («Marina», «Sasha»)
Малюнок 9. Результат виконання запиту
. Складемо запит для визначення правильності твердження: Олексій є батьком Ольги. (малюнок 10).
Запит: parent («Alexei», «Olga»)
Малюнок 10. Результат виконання запиту
. Складемо запит для встановлення факту: хто є дитиною Миколая. (малюнок 11).
Запит: parent («Nicolai», X).
Малюнок 11. Результат виконання запиту
. Складемо запит: хто є батьками Івана. (малюнок 12).
Запит: parent (X, «Ivan»), parent (Y, «Ivan»), X lt; gt; Y.
Малюнок 12. Результат виконання запиту
9. Складемо запит для визначення всіх батьків і їхніх дітей. (малюнок 13).
Запит: parent (X, Y).
Малюнок 13. Результат виконання запиту
На цьому виконання завдань в рамках даного пакету закінчується.
. Для установки SWI-Prolog відповідно до параметрів персональної робочої платформи інформатизації був обраний дистрибутив, доступний за посиланням з офіційного сайту (# justify gt ;. На малюнках 14-18 поетапно представлений процес встановлення програмного забезпечення:
Малюнок 14. Ліцензійна угода
Малюнок 15. Вибір компонентів ПО
Малюнок 16. Вибір директорії для установки
Малюнок 17. Налагодження додаткових параметрів
Малюнок 18. Процес установки
Малюнок 19. Завершення установки
. Відповідно до завдання була побудована база даних, що відображає інформацію про студентів, їх середніх балах, компаніях-роботодавцях і їхніх вимогах, а також предикати, що відображають логічні зв'язки між вищеописаними елементами (див. Малюнок 20).
Малюнок 20. База даних
Після цього було розпочато виконання запитів до БД відповідно до завдання.
. Реалізація запиту щодо отримання стипендії студентом Поповим.
Запит: stipendiya ( Popov ). (малюнок 21).
Малюнок 21. Результат виконання запиту
. Реалізація запиту щодо отримання стипендії студентом Федоровим.
Запит: stipendiya ( Fedorov ). (малюнок 22).
Малюнок 22. Результат виконання запиту
. Реалізація запиту щодо визначення групи студентів, занесених в базу знань і отримують стипендію.
Запит: stipendiya (Name). (малюнок 23).
Малюнок 23. Результат виконання запиту
. Реалізація запиту щодо визначення се...
