Название: Современное логическое программирование на языке 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)
|