51

МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ
ХЕРСОНСЬКИЙ НАЦІОНАЛЬНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ
Кафедра інформацiйних технологій
	МЕТОДИЧНІ РЕКОМЕНДАЦІЇ
	та контрольні завдання до виконання лабораторних робіт
	з дисципліни „Логічне програмування”
	для студентів четвертого курсу
	для напряму підготовки 6.050102 “Комп’ютерна інженерія”
	(за професійним спрямуванням “Комп’ютерні системи та мережі”)
	галузі знань 0501 “Інформатика та обчислювальна техніка”
	факультету кібернетики та системної інженерії
Лабораторні роботи 1-3
Херсон – 2014 р.

Методичні рекомендації та контрольні завдання до виконання лабораторних робіт з дисципліни „Логічне програмування” для студентів четвертого курсу напряму підготовки 6.050102 “Комп’ютерна інженерія” (за професійним спрямуванням “Комп’ютерні системи та мережі”) галузі знань 0501 “Інформатика та обчислювальна техніка”. Лабораторні роботи 1-3.
Укладач: Веселовська Г.В., доцент кафедри інформаційних технологій ХНТУ, к.т.н., доцент, кількість сторінок 50.
Рецензент: Кибалко І.І., доцент кафедри інформаційних технологій ХНТУ, к.т.н.
	Затверджено
	на засіданні кафедри інформаційних технологій ХНТУ,
	протокол № 1 від 29.08.2014 р.
	Завідувач кафедри інформаційних технологій ХНТУ, д.т.н., професор, заслужений діяч науки і техніки України
	____________________ В.Є.Ходаков
Відповідальний за випуск В.Є.Ходаков, завідувач кафедри інформаційних технологій ХНТУ, д.т.н., професор, заслужений діяч науки і техніки України.

Лабораторна робота 1

Тема: Концептуальні основи логічного програмування.

Мета: Практичне знайомство з базовими інструментальними засобами та методами технології логічного програмування.

1 План виконання лабораторної роботи

1. Вивчити основні теоретичні відомості до лабораторної роботи.

2. Опрацювати контрольні питання.

3. Вивчити вимоги до оформлення, захисту та оцінювання лабораторних робіт (Додаток А).

4. Виконати індивідуальні контрольні завдання.

5. Скласти звіт.

6. Захистити звіт.

2 Основні теоретичні відомості

Для отримання основної теоретичної підготовки до лабораторної роботи, ознайомтеся з указаними нижче інформаційними джерелами, акцентувавши увагу на поняттях логічного програмування та мов логічного програмування:

1) опрацюйте матеріал лекції 1;

2) опрацюйте Інтернет-ресурси, що стосуються теорії та практичних застосувань технологій (інструментальних засобів і методів) логічного програмування:

– виконайте добірку актуальних ресурсів Інтернету, зафіксувавши отриманий перелік найменувань ресурсів і ваших коментарів до них (бажано – у табличній формі);

– огляньте підібрані матеріали, виберіть і вивчіть основні з них, проаналізуйте та зробіть власний висновок.

2 Контрольні питання

1. Сформулюйте поняття логічного програмування.

2. Виконайте порівняльний аналіз технології логічного програмування з іншими технологіями створення програмного забезпечення.

3. Якими є галузі практичного застосування технології логічного програмування ?

4. Охарактеризуйте програмне забезпечення технології логічного програмування.

5. Яке математичне забезпечення покладене в основу технології логічного програмування ?

4 Індивідуальні контрольні завдання

ЗАВДАННЯ 1.

Запропонуйте (або охарактеризуйте наявні) та обгрунтуйте базові концепції, інструментальні засоби, методи та практичні застосування технології логічного програмування для однієї з предметних галузей, представлених у таблиці 1.

Таблиця 1

Індивідуальні варіанти до завдання 1

Номер варіанту	Найменування предметних галузей
1	Системне адміністрування.
2	Створення інформаційних систем.
3	Створення систем штучного інтелекту.

Продовження таблиці 1

Номер варіанту	Найменування галузей практичного застосування
4	Створення Web-додатків і Web-сайтів.
5	Управління аеропортом.
6	Виробництво автомобілів.
7	Бізнес-діяльність.
8	Розробка програмного забезпечення для Web.
9	Управління залізничним вокзалом.
10	Офісна діяльність.
11	Прийняття управлінських рішень.
12	Оптимізація виробничої діяльності.
13	Розпізнавання образів.
14	Логічні ігри.
15	Розробка діагностичних експертних систем.
16	Креативна галузь практичного застосування (за узгодженням із викладачем)

Лабораторна робота 2

Тема: Математичні основи логічного програмування.

Мета: Практичне опановування особливостей реалізації понять логічної операції, предикату та логіки предикатів за допомогою засобів і методів технології логічного програмування.

1 ПЛАН ВИКОНАННЯ ЛАБОРАТОРНОЇ РОБОТИ

1. Вивчити основні теоретичні відомості до лабораторної роботи.

2. Опрацювати контрольні питання.

3. Вивчити вимоги до оформлення, захисту та оцінювання лабораторних робіт (Додаток А).

4. Виконати індивідуальні контрольні завдання.

5. Скласти звіт.

6. Захистити звіт.

2 ОСНОВНІ ТЕОРЕТИЧНІ ВІДОМОСТІ

2.1. Базові поняття мови Пролог

2.1.1. Короткий огляд базових понять мови Пролог

Пролог є декларативною мовою, основаною на логіці предикатів.

Предикати в загальному випадку визначають відносини між об`єктами.

Факти та правила є твердженнями, що утворюють дані Пролог-програми.

Правила мають ліву частину (голову) та праву частину (тіло).

Ліва частина правила є істинною, якщо істинна права частина правила.

Правила генерують нові факти тоді, коли всі твердження в їх тілі виявляються обчисленими.

Цілі – конструкції на основі предикатів, які оголошують, що саме повинна довести програма на Пролозі.

Зв`язки в цілях і правилах виконують генерацію підцілей в якості кроків процесу доведення цілі.

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

– охарактеризовано логіку предикатів як математичний фундамент декларативної мови програмування Пролог;

– висвітлено логічну сторону розв'язування задач за допомогою інструментальних засобів Прологу;

– представлено засоби та методи управління процесом виконання Пролог-програми;

– пояснено принципи дії внутрішніх уніфікаційних підпрограм Прологу та особливості реалізації механізму відкату.