Название: Современное логическое программирование на языке Visual Prolog 7.5 (+file)
Автор: Марков В.Н.
Издательство: БХВ-Петербург
Год: 2015
Страниц: 542
ISBN: 978-5-9775-3487-1
Формат: PDF
Размер: 69 Мб
Язык: русский
В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщенного, императивного и объектно-ориентированного программирования, органически вошедшие в Visual Prolog 7.5. Рассматриваются основные способы представления и обработки графов, деревьев и массивов, инструменты профессионального программирования. Приводятся примеры разработки символьных преобразователей, калькуляторов, интерпретаторов языков программирования, игровых моделей и т. п.
Книга содержит практикум по программированию и описание основных классов Visual Prolog. Учебник предназначен для изучения дисциплин «Логическое программирование» и «Функциональное и логическое программирование».
Для студентов, преподавателей и разработчиков интеллектуальных информационных систем.
Оглавление
Предисловие
О содержании
Благодарности
О языке
О приоритетах
Поддержка
Основные элементы языка Visual Prolog
Лексика языка Visual Prolog
Термы
Операции языка
Типы, домены, подтипы
Константы
Предикаты
Предикаты в Visual Prolog
Модули
Отсечение и отрицание
Циклы с откатом
Рекурсия
Ввод/вывод
Списки
Параметрический полиморфизм
Эллипсис
Предикаты второго порядка и анонимные предикаты
Императивные конструкции
Обработка исключительных ситуаций
Классы
Обобщенное программирование
Многопоточность
Доступ к API-функциям Windows
Разработка и использование DLL
Отладка приложений
Графы
Деревья
Массивы
Символьные преобразования
Интерпретатор программ
Практические рекомендации
Введение в Visual Prolog
Поиск с откатом на фактах
Поиск с откатом на правилах
Рекурсивные правила
Рекурсивные правила на списках
Внутренняя база данных
Задачи на графах
Задачи на деревьях
Задачи на массивах
Скачать Марков В.Н. - Современное логическое программирование на языке Visual Prolog 7.5 (2015)