Предисловие редактора перевода............................. g
Предисловие.......................................... g
Введение............................................ 13
Глава 0. Логика, логическое программирование и Пролог............. 17
0.1. Знакомство с логическим программированием.............. 17
0.2. Традиционная логика............................... 19
0.3. Начальный период развития формальной логики.............. 24
0.4. Логика высказываний.............................. 29
0.5 Логика предикатов...........................-..... 37
0.6. От формальной логики - к логическому программированию...... 50
0.7. Развитие языка Пролог............................. 59
0.8. Синтаксис языка Пролог............................ 62
0.9. Фразы Хорна как средство представления знаний............. 64
0.10. Семантика Пролога................................ 66
0.11. Метаязык / объектный язык.......................... 68
0.12. Сферы применения языка Пролог....................... 72
Библиографические заметки............................. 73
Глава 1. Факты и правила.................................. 75
. I. Использование языка Пролог.......................... 75
.2. Факты........................................ 76
.3. Запросы к базе данных.............................. 78
,4. Правила...................................... 82
.5. Процедуры..................................... 87
.6. Рекурсивные процедуры............................. 90
.7. Типы отношений.................................. 95
Библиографические заметки............................. 101
Упражнения........................................ 102
Глава 2. Арифметика и структуры данных....................... 105
2.1. Арифметика................................... Ю5
2.2. Структуры данных................................ 107
2.3. Списки........................................ 110
1 *
2.4. Процедуры, выполняющие действия со списками............. 114
2.5. Способы представления базы данных..................... 120
Библиографические заметки............................. 126
Упражнения........................................ 126
'лава 3. Управление ходом выполнения программы................. '29
3.1 Как выполняется запрос в Прологе.................. ... 129
3.2. Предикат "сократить"............................. 141
3.3. Отрицание кик неудача запроса. ................... 1^0
3.4. Встроенные предикаты, предназначенные дли обеспечения нп<д;< вывода....................................... 1--4
3.5. Встроенные предикаты, предназначенные для управлении файлами j лб
3.6. Проверка типа терма.............................. 157
3.7. Действия с текущей программой....................... 159
3.8. Компараторы.................................... 164
3.9. Прочие встроенные предикаты........................ 164
3.10. Операции...................................... 168
3.11. Преобразование процедурного алгоритма в программу на языке Пролог........................................ 171
Библиографические заметки............................. 174
Упражнения........................................ 175
"лава 4. Подходы к программированию на языке Пролог............. 17В
Введение......................................... Г'8
4.1. Реляционный подход............................... I SO
4.2. Взгляд на программу с точки зрения потока данных........... 190
4.3. Бихевиористический подход...........................JOO
Библиографические заметки............................. -03
Упражнения...................................... 203
"лава 5. Обработка текста................................. 206
Введение......................................... 206
5.1. Лексический анализатор............................. 207
5.2. Система нисходящего грамматического разбора.............. 211
5.3. Система восходящего грамматического разбора.............. 217
5.4. Конвертер программ с DEC-10 Пролога на микро-Пролог........ 229
5.5. Язык запросов................................... 237
Библиографические заметки............................. 250
Упражнения........................................ 250
"лава 6. Представление знаний.............................. 252
6.1. Представление знаний при помощи Пролога................. 252
6.2. Семантические сети................................ 262
6.3. Фреймы....................................... 264
6.4. Объектно-ориентированное программирование.............. 268
6.5. Механизм наследования в Прологе...................... 271
6.6. Программа, выполняющая запросы к базе данных............. 282
6.7. Описание изменений базы данных....................... 291
Библиографические заметки............................. 298
Упражнения....................................... 299
Глава 7. Экспертные консультации............................ 302
7.1. Системы экспертных консультаций...................... 302
7.2. Запоминание пути вывода........................... 305
7 3. Видимый Пролог...............,................. з|0
7.4. Интерпретатор, обнаруживающий циклы................... 314
7.5. Заключение: стиль программирования на Прологе............ 318
Ь-лблиографические заметки............................. 326
Упражнения....................................... 326
1 'рн.тоженин..........,.,.,................,,.,.,.. ,, 328
1. Основная терминология......................... 328
11. Полезные программы......................... 333
Различные процедуры (333). Процедуры сбора множества ответов (333). Процедуры ввода-вывода низкого уровня (334), Программа "отобразить _ состояние" (335). Экранно-ориентированная программа, предназначенная для выполнения запросов к базе данных (336).
III. Показательный пример. Программа планирования работы завода 339
IV. Версии языка Пролог........................... 381
СиПролог (381).Квинтус Пролог (388). Система программирования
на Прологе фирмы Сайлоджик (393).Пролог-2(400). Эрити Пролог (407). УНСВ Пролог (412). Турбо Пролог (417).
V. Ответы к упражнениям...............\.......... 426
Дополнение..........,.....,..,.,.,,,.,,... ... .. 441
1. Встроенные предикаты, предназначенные для работы с окнами .... 441 - Перечень встроенных предикатов, предназначенных для работы
с графическим интерфейсом фирмы Борланд (BGI)........... 444
Синеок литературы............................. 448
Предметный указатель.................................... 459
