Математика | ||||
М а л п а с Дж. Реляционный язык Пролог и его применение: Пер. с англ. /Под редакцией В.Н. Соболева. - М.: Наука. Гл. ред. физ.-мат. лит., 1990. - 464с. ISBN 5-02-014509-2. Описывается реляционный язык программирования Пролог, рассматривается методика программирования и конкретные приложения. Содержит большое число удачно подобранных примеров, иллюстрирующих суть обсуждаемых явлений, подробный предметный указатель, глоссарий. Для специалистов в области вычислительной техники и информатики. Табл. 23. Ил. 42. Библиогр. 117 назв. | ||||
ОГЛАВЛЕНИЕ Предисловие редактора перевода............................. 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 Цена: 150руб. |
||||