10

МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ
ХЕРСОНСЬКИЙ НАЦІОНАЛЬНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ
Кафедра інформаційних технологій
ЗВІТ З ЛАБОРАТОРНОЇ РОБОТИ 1
	з дисципліни „Логічне програмування”
	студента четвертого курсу денної форми навчання
	напряму підготовки 6.050102 “Комп’ютерна інженерія”
	(за професійним спрямуванням «Комп'ютерні системи та мережі»)
	галузі знань 0501 “Інформатика та обчислювальна техніка”
		факультету кібернетики та системної інженерії
	Мирошнікова Дениса Анатолійовича
Дата проведення лабораторної роботи:				« » ___________ 2014р.
Дата подання звіту за графіком:				« 14 » вересня 2014р.
Дата подання звіту студентом:				____________________
Підпис студента:				____________________
Позначка викладача про результати та дату перевірки звіту:				____________________
				____________________
Відомості про викладача, що виконував перевірку звіту (прізвище, ініціали, посада, науковий ступінь, вчене звання):				Веселовська Г.В., доцент кафедри інформаційних технологій ХНТУ, к.т.н., доцент
Підпис викладача, що виконував пере- вірку звіту :				_____________________
Херсон – 2014р.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Логічний мова програмування - мова програмування, що дозволяє виконати опис проблеми в термінах фактів і логічних формул, а власне рішення проблеми виконує система за допомогою механізмів логічного висновку.

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

В логічній програмі геть відсутній алгоритм, в традиційному розумінні цього терміна. І тут трапляється ПОХИБКА. "Традиційний" програміст звиклий за кілька років мислити шаблонно (використовуючи чужі заготовки або свої напрацювання), стикається з проблемою відсутності досвіду вирішення завдань в логіці предикатів при величезному досвіді програмування взагалі, а відсталість мислення не дозволяє відірватися від звичного порядку переведення завдання з людської мови на машинний. Інтелектуальний розвиток полягає в тому, що людина, що зуміла зрозуміти методологію написання логічних програм, а, тим більше, подужати її настільки, що може на практиці застосовувати свої пізнання, має право вважати себе інтелектуально просунутим.

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

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

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

Це середовища в яких оператори являють собою висловлювання про відносини між об'єктами деякого предметного поля. Висловлювання можуть бути двох видів: 1) факт - задає відношення між конкретними об'єктами; 2) правило - опосередковано задає відношення між об'єктами, замінюючи їх змінними і вимагаючи виконання деяких умов. Таким чином, програма на декларативну мову, по суті, являє собою сукупність фактів і правил, а робота з програмою полягає в формулюванні питання, відповідь на який шукається самою системою програмування в процесі перебору з підстановками значень на множині фактів і правил.

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

Автоматичні докази теорем, а також розділ дискретної математики, що вивчає принципи логічного висновку інформації на основі заданих фактів і правил виводу. Логічне програмування засноване на теорії та апараті математичної логіки з використанням математичних принципів резолюцій.