Салмина Нина Юрьевна Функциональное и логическое программирование. Часть 2 (Логическое программирование): методические указания

---

Министерство образования и науки Российской Федерации 
Федеральное государственное бюджетное образовательное
учреждение высшего образования 
«ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ СИСТЕМ 
УПРАВЛЕНИЯ И РАДИОЭЛЕКТРОНИКИ» (ТУСУР) 
Кафедра автоматизации обработки информации 
ФУНКЦИОНАЛЬНОЕ И ЛОГИЧЕСКОЕ
ПРОГРАММИРОВАНИЕ
Часть 2 
(Логическое программирование) 
Методические указания к лабораторным работам и организации 
самостоятельной работы 
для студентов направления 09.03.04
«Программная инженерия» 
(уровень бакалавриата) 

 
 
 
 
 
 
 
2018 

---

2 
Салмина Нина Юрьевна 
Функциональное и логическое программирование. Часть 2 (Логическое 
программирование): Методические указания к лабораторным работам и 
организации самостоятельной работы для студентов направления 
«Программная инженерия» (уровень бакалавриата) / Н.Ю. Салмина. – 
Томск, 2018. – 23 с. 
© Томский государственный университет 
систем управления и радиоэлектроники, 2018 
© Салмина Н.Ю., 2018

---

3 
Оглавление 
 
1 Введение…………………………………………………….………..….… 4 
2 Методические указания к проведению лабораторных работ..………..…5
2.1 Лабораторная работа «Основы языка Пролог. Создание
простейших функций» ………………………..………………........... 5 
2.2 Лабораторная работа «Разработка программ» …………………......10 
2.3 Лабораторная работа «Графы и деревья» …………………………..14 
2.4 Лабораторная работа «Работа с базой фактов» …………………….17 
3 Методические указания для организации самостоятельной
работы ……………………………………………………………………..21 
3.1 Общие положения …………………………………………………….21 
3.2 Проработка лекционного материала …………………….…………..21 
3.3 Самостоятельное изучение тем теоретической части курса …….....22 
3.3.1 Грамматики ..…………………………………………………….22
3.3.2 Вычислительные задачи, головоломки…………….…………..23 
4 Рекомендуемая литература ………………………………………………..24 

---

4 
1 Введение 
Цель дисциплины – ознакомление студентов с основами логического 
программирования 
на 
примере 
языка 
Пролог, 
принципами 
структурирования знаний в виде фактов и правил, а также формирование у 
студентов профессиональных знаний и практических навыков по 
разработке и созданию интеллектуальных систем с помощью языка 
логического программирования Пролог. 
Изучение данной части дисциплины включает в себя: теоретический