5 Пролог — язык программирования будущего/ Дж.Доорс, А.Р.Рейблейн, С.Вадера: Пер. с англ.; Предисловие А.Н.Волко-ва.- М.:Финансы и статистика 1990.144 с.: ил.
ISBN 5-279-00444-8.
Настоящее введение в Пролог содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, структуры данных (списки и деревья), операторы и процедуры, встроенные функции для отладки программ и работа с БД. Книга может быть рекомендована как учебник и как
компактное справочное издание.
Для программистов, специалистов в области искусственного интеллекта и
баз данных.
Предисловие к русскому изданию
В начале 70-х годов группа специалистов Марсельского университета во главе с А. Колмероэ разработала специализированную систему для доказательства теорем. Она была написана на языке Фортран и использовалась для обработки естественного языка. Система доказательства теорем, названная Пролог, воплощала процедурную семантику Р. Ковальского. Позже ван Эмден и Р. Ковальский разработали формальную семантику для языка логических программ.
В настоящее время не существует универсального стандарта на Пролог. Все же реализация, описанная У. Клоксиным и К. Мелли-шем в книге «Программирование на языке Пролог» [3 ], может быть принята за стандарт языка.
Сегодня Пролог - язык, предназначенный для программирования приложений, использующих средства и методы искусственного интеллекта и создания экспертных систем. Причиной растущей популярности Пролога явилось требование создания средств, обеспечивающих «дружественный интерфейс» и интеллектуальность программ.
Пролог применяется при создании приложений в следующих областях:
— разработка быстрых прототипов прикладных программ;
— управление производственными процессами;
— создание динамических реляционных баз данных;
— перевод с одного языка на другой;
— создание естественно-языковых интерфейсов для существующих систем;
— реализация экспертных систем и оболочек экспертных систем;
— создание пакетов символьных вычислений для решения уравнений, дифференцирования и интегрирования;
Содержание
Предисловие к русскому изданию .................... 5
Предисловие ................................ 8
Глава 1. Введение в Пролог ........................ 9
Глава 2. Синтаксис и унификация ............ . ..... 16
2.1. Синтаксис ........................... 17
2.2. Унификация ......................... 24
Глава 3. Арифметические выражения ................ 26
3.1. Введение ........................... 26
3.2. Арифметические выражения ................ 27
3.3. Арифметические операторы ................ 28
3.4. Вычисление арифметических выражений ........ 29
3.5. Сравнение результатов арифметических выражений . . 30
Глава 4. Рекурсия ............................ 30
4.1. Стратегия «разделяй и властвуй» ............ -31
4.2. Восходящая стратегия .................... 36
4.3. Рекурсия и эффективность ................. 38
Глава 5. Структуры данных
5.1. Списки
5.2. Бинарные деревья
Глава 6. Операторы
6.1. Операторы и структуры
6.2. Позиция операторов
6.3. Приоритет операторов....................59
6.4. Ассоциативность операторов................59
6.5. Спецификаторы .......................60
6.6. Операторы объявления ...................62
6.7. Пример: вычисление многочленов.............63
6.8. Системные операторы....................64
Глава 7. Механизм возврата и процедурная семантика ......65
7.1. Механизм возврата .....................65
7.2. Пример: задача поиска пути в лабиринте.........66
7.3. Обработка фактов с помощью механизма возврата ... 72
7.4. Предикат repeat .......................73
7.5. Декларативная и процедурная семантики ........74
7.6. Вопросы эффективности ..................75
Глава 8. Отсечение ...........................77
8.1. Почему используют отсечение?........... . . . 77
8.2. Использование отсечения..................79
8.3. Ловушки отсечения .....................83
Глава 9. Встроенные предикаты....................84
9.1. Встроенные предикаты ...................84
9.2. Обновление базы данных Пролога.............85
9.3. Особенности ввода и вывода ................88
9.4. Обработка файлов......................82
Глава 10. Модули. Пример разработки системы...........95
10.1. Модули............................95
10.2. Пример разработки системы: деревья решений.....96
Глава 11. Отладка...........................ПО
11.1. Трассировка........................111
11.2. Установка контрольных точек.............114
Приложения ..............................118
Приложение А. Синтаксис ......................118
А. 1. Синтаксис программ...................118
А.2. Синтаксис термов ..................... 119
А.З. Синтаксис списка ..................... 120
А.4. Синтаксис комментария ................. 120
А.5. Слова и символы, зарезервированные
системой Пролог ........................ 120
Приложение Б. Словарь терминов.................. 122
Приложение В. Встроенные операторы ............... 128
Приложение Г. Библиография .................... 134
Предметный указатель........................ 135
Указатель операторов и процедур .................. 139
Цена: 150руб.
