В пособии рассмотрены основные аспекты функционального и логического программирования на примере использования языков Lisp и Turbo-Prolog. Для студентов, обучающихся по направлениям \"Информатика и вычислительная техника\" и \"Прикладная математика и информатика\". 2-е издание.

Введение. Развитие парадигм программирования
Глава 1. Функциональное программирование
Реализация функционального языка
программирования
Особенности языка Lisp
Основные отличия языка Lisp
Понятия языка Lisp
Атомы и списки
Внутреннее представление списка
Написание программы на Lisp
Определение функций
Рекурсия и итерации
Функции интерпретации выражения
Макросредства
Функции ввода-вывода
Общие представления для различных диалектов
языка Lisp
Реализация языка в диалекте Common Lisp
Введение
Списки и функциональные выражения
Поле зрения и поле памяти
Прагматические добавления и динамическое
порождение программ
Объекты в Lisp
Выводы по первой главе
Методические рекомендации
Глава 2. Логическое программирование
Идея реализации парадигмы логического
программирования
Понятие формальной системы
Исчисление высказываний как формальная система
Исчисление предикатов первого порядка
Правила вывода логики предикатов
Семантика логики предикатов
Доказательство методом резолюции
Префиксная нормальная форма
Сколемовская нормальная форма
Клаузальная форма (форма предположений)
Резолюция для основных предложений
Унификация и подстановка
Резолюция в общем случае
Система опровержения на основе резолюции
Стратегии управления для методов резолюции
Стратегия полного перебора (поиск в ширину)
Стратегия опорного множества
Стратегия предпочтения одночленам
Стратегия, линейная по входу
Комбинирование стратегий
Извлечение ответа из опровержения на основе
резолюции
Системы продукций
Задачи представления
Стратегии поиска для систем продукций
Глава 3. Реализация принципов логического
программирования с использованием языка
Turbo-Prolog
Структура программы на языке Turbo-Prolog
Раздел Database
Раздел Predicates
Раздел Clauses
Раздел Goal
Комментарии
Стандартные типы данных
Запуск системы
Окна системы
Работа с файлами
Другие возможности оболочки
Настройка оболочки
Приложение 1. Пример преобразования ППФ в
форму предложений
Приложение 2. Краткое руководство по языку
Turbo-Prolog версии 2.0
Приложение 3. Подготовка инструментальных
средств для выполнения лабораторных работ
Приложение 4. Лабораторные работы
Литература

Ездаков А.Л.
Андрей Леонидович Ездаков - доцент кафедры проектирования и конструирования интегральных микросхем Московского государственного института электронной техники (МИЭТ). В 1982 г. окончил факультет прикладной математики Московского института электронного мишиностроения. С 1992 г. на преподавательсткой работе. Автор большого количества научных, методических и популярных работ. Области интересов: разработка интеллектуальных систем, компьютерные игры, писательсткая деятельность в жанре фантастики. С 1995 по 2004 г. деятельности в вузе совмещал с активной журналистской работой в различных ИТ-изданиях.