Марков В.Н. Современное логическое программирование на языке Visual Prolog 7.5

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