Название: Основы программирования на языке Visual Prolog Автор: Ефимова Е.А. Издательство: М.: НОУ "ИНТУИТ" Год: 2016 Страниц: 265 Формат: PDF Размер: 20.2 Мб Язык: русский
В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка 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
Скачать Ефимова Е.А. - Основы программирования на языке Visual Prolog (2016)
.
|