Е.А. Ефимова | Основы программирования на языке Visual Prolog (2016) [PDF]
Автор: Е.А. Ефимова
Издательство: НОУ "Интуит"
Жанр: Компьютерная литература
Формат: PDF
Качество: Обработанный скан
Иллюстрации: Черно-белые
Описание:В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих.
Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 7.x. Изложение сопровождается большим количеством примеров программ. Приводятся списки упражнений для самостоятельной работы.
Курс предназначен для студентов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, программистов и всех, интересующихся практическим использованием логического программирования.
Лекция 1. Определение отношений в программе ... 4
Лекция 2. Машина вывода Пролога ... 26
Лекция 3. Управление перебором. Отсечение ... 49
Лекция 4. Внутренняя база данных ... 68
Лекция 5. Рекурсия ... 84
Лекция 6. Списки. Полиморфизм ... 98
Лекция 7. Списки. Предикаты высших порядков ... 111
Лекция 8. Графы ... 124
Лекция 9. Деревья ... 143
Лекция 10. Арифметика и строки ... 156
Лекция 11. Парсеры ... 163
Лекция 12. Язык запросов ... 180
Лекция 13. Поиск в пространстве состояний ... 212
Лекция 14. Игры ... 229
Лекция 15. Экспертная система. Логическая задача. Фейерверк ... 242
Лекция 16. Использование PIE в Visual Prolog ... 259
Список литературы ... 265
Скриншоты:
Время раздачи: Пн.-Пт. с 19.00 до 7.00, Сб.-Вс. 2/24 (минимум до появления первых 3-5 скачавших) 
