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

Автор - Виталий Марков

В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщенного, императивного и объектно-ориентированного программирования, органически вошедшие в Visual Prolog 7.5. Рассматриваются основные способы представления и обработки графов, деревьев и массивов, инструменты профессионального программирования. Приводятся примеры разработки символьных преобразователей, калькуляторов, интерпретаторов языков программирования, игровых моделей и т. п.

Книга Виталия Маркова "Современное логическое программирование на языке Visual Prolog 7.5" содержит практикум по программированию и описание основных классов Visual Prolog. Первая часть книги рассматривает лексику Visual Prolog, понятие терма, как единственной синтаксической сущности языка, и процедуру унификации термов, как единственный способ обработки термов в языке. В эту часть также включены сведения справочного характера об операциях языка, типах и подтипах данных, о доменах. Вторая, третья и четвертая части книги представляют собой теоретический лекционный материал по дисциплинам «Логическое программирование» и «Функциональное и логическое программирование». Лекционный материал подкреплен множеством простых консольных примеров, готовых к компиляции и выполнению в среде Visual Prolog. Пятая часть книги содержит богатый набор более сложных примеров консольных программ и представляет собой практикум по программированию в составе девяти практических занятий с примерами и заданиями. Методика практикума предлагает ряд задач, решение которых совершенствуется от занятия к занятию по мере расширения набора применяемых языковых средств. Используя книгу в качестве учебного пособия, лектор может по своему усмотрению распределить эти практические занятия по всему курсу. Шестая часть книги вводит читателя в мир графических приложений на Visual Prolog. В главе 40 демонстрируется реализация часов реального времени и секундомер с использованием простых графических элементов. Глава 41 представляет модель искусственной жизни клеточной колонии на квадратном поле и имеет целью показать операции рисования. Проект, содержащийся в главе 42, является интерпретатором программ для детерминированной машины Тьюринга и содержит текстовый редактор sciLexer, построенный на принципах компонента редактирования Scintilla, а также парсер с точным позиционированием и описанием возможных ошибок и собственно интерпретатор языка программирования машины Тьюринга.

Учебник предназначен для изучения дисциплин «Логическое программирование» и «Функциональное и логическое программирование».

Издательство – БХВ-Петербург

Год издания – 2016

Формат книги - PDF

Размер - 151 Мб

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