М.: Радио и связь, 1991. 192 с. ISBN 5-256-00526-Х.
Крюков А. П., Родионов А. Я., Таранов А. Ю., Шаблыгин Е. М.
Программирование на языке R-Лисп
Изложены основы программирования на языке R-Лисп, широко распространённом диалекте языка Лисп - языке реализации системы аналитических вычислений Reduce. Рассмотрены описание основных синтаксических конструкций и встроенных функций, принципы работы компилятора, а также представления данных в памяти. Приведены примеры функционального программирования и отладки программ. Для программистов и специалистов в области искусственного интеллекта, экспертных систем.
Содержание:
Предисловие научного редактора
Предисловие
Введение
Глава
1. Мир Лиспа
Атомы и точечные пары. Списки. Простейшие функции на S-выражениях. Селекторы. Вычисление и значение. Конструкторы. Арифметические функции. Как различать S-выражения. Предикаты. Условные выражения и логические связки. Снова об атомах. Типы атомов. Свойства. Флаги
Глава
2. Лисп на Лиспе
Что такое рекурсия? Как определять функции в R-лиспе. Первые примеры рекурсивных функций. Вычисление длины списка. Соединение списков. Удаление элемента списка. Проверка вхождения элемента в список. Обращение списка. Накапливающие параметры. Замена элементов. Ассоциативный список. Локальное определение функций. Эффективное вычисление чисел Фибоначчи. Генерация перестановок. Функции в качестве аргументов. Функции и данные. Комбинаторы. Функции с неопределенным числом аргументов. Функции, вычисляющие свое тело. Интерпретатор
Глава
3. Императивное программирование
Глобальные переменные. Присваивание значений переменным. Блоки и составные операторы. Функции PROG и PROGN. Организация циклов. Сравнение эффективности различных реализаций. Функции обработки ошибок. Функции, модифицирующие лисповские ячейки. Функции, модифицирующие списки. Функции ввода-вывода. Переключатели. Некоторые глобальные переменные
Глава
4. Алгоритмы на графах
Графы и их представление. Поиск на графах. Пример поиска с возвращением. Возможные усовершенствования
Глава
5. Сопоставление с образцом
Простая программа для сопоставления с образцом. Параметры в образцах
Глава
6. Лисп-компилятор
Интерпретация и компиляция программ. Структура Лисп-компилятора языка Standard LISP. Архитектура виртуальной Лисп-машины. Команды виртуальной Лисп-машины. Структура памяти в Standard LISP. Структура лисповской ячейки. Пример программы на языке виртуальной Лисп-машины. Просмотр содержимого лисповских ячеек. Физическая и логическая структуры данных. Хранение лисповских структур в памяти. Арифметика в Лисп-системах. Локальные, глобальные и FLUID-перемснные
Приложение. Список функций языка R-лисп
Список литературы
Указатель терминов, функций и команд
Изложены основы программирования на языке R-Лисп, широко распространённом диалекте языка Лисп - языке реализации системы аналитических вычислений Reduce. Рассмотрены описание основных синтаксических конструкций и встроенных функций, принципы работы компилятора, а также представления данных в памяти. Приведены примеры функционального программирования и отладки программ. Для программистов и специалистов в области искусственного интеллекта, экспертных систем.
Содержание:
Предисловие научного редактора
Предисловие
Введение
Глава
1. Мир Лиспа
Атомы и точечные пары. Списки. Простейшие функции на S-выражениях. Селекторы. Вычисление и значение. Конструкторы. Арифметические функции. Как различать S-выражения. Предикаты. Условные выражения и логические связки. Снова об атомах. Типы атомов. Свойства. Флаги
Глава
2. Лисп на Лиспе
Что такое рекурсия? Как определять функции в R-лиспе. Первые примеры рекурсивных функций. Вычисление длины списка. Соединение списков. Удаление элемента списка. Проверка вхождения элемента в список. Обращение списка. Накапливающие параметры. Замена элементов. Ассоциативный список. Локальное определение функций. Эффективное вычисление чисел Фибоначчи. Генерация перестановок. Функции в качестве аргументов. Функции и данные. Комбинаторы. Функции с неопределенным числом аргументов. Функции, вычисляющие свое тело. Интерпретатор
Глава
3. Императивное программирование
Глобальные переменные. Присваивание значений переменным. Блоки и составные операторы. Функции PROG и PROGN. Организация циклов. Сравнение эффективности различных реализаций. Функции обработки ошибок. Функции, модифицирующие лисповские ячейки. Функции, модифицирующие списки. Функции ввода-вывода. Переключатели. Некоторые глобальные переменные
Глава
4. Алгоритмы на графах
Графы и их представление. Поиск на графах. Пример поиска с возвращением. Возможные усовершенствования
Глава
5. Сопоставление с образцом
Простая программа для сопоставления с образцом. Параметры в образцах
Глава
6. Лисп-компилятор
Интерпретация и компиляция программ. Структура Лисп-компилятора языка Standard LISP. Архитектура виртуальной Лисп-машины. Команды виртуальной Лисп-машины. Структура памяти в Standard LISP. Структура лисповской ячейки. Пример программы на языке виртуальной Лисп-машины. Просмотр содержимого лисповских ячеек. Физическая и логическая структуры данных. Хранение лисповских структур в памяти. Арифметика в Лисп-системах. Локальные, глобальные и FLUID-перемснные
Приложение. Список функций языка R-лисп
Список литературы
Указатель терминов, функций и команд