Предисловие редактора перевода................... 5 Предисловие...................................... 7 Глава 1. Краткий обзор понятий логического программирования и баз данных.................... 10 1.1. Логическое программирование как язык запросов...................................... 12 1. 2. Пролог и Дейталог........................ 20 1.3. Альтернативные архитектуры............... 23 1. 4. Применения............................... 26 1. 5. Литература.......'....................... 27 Глава 2. Введение в реляционные базы данных и язык Пролог..................................... 28 2. 1. Обзор реляционных баз данных............ 28 2. 2. Пролог: язык программирования в логике... 36 2.3. Литература к главе....................... 40 Часть I. Связывание Пролога с реляционными базами данных................................... 41 Глава 3. Пролог как язык запросов................ 41 3. 1. Антитрестовская задача................... 42 3. 2. Задача о комплектующих................... 47 3. 3. Заключение............................... 52 3.5. Упражнения............................... 52 Глава 4. Связывание Пролог-систем и реляционных баз данных....................................... 54 4. 1. Архитектуры для связывания Пролога и реляционных систем............................ 54 4. 2. Базовые конъюнкции....................... 62 4.3. Оптимизация интерфейса Пролог/База данных. 77 4. 4. Заключение............................... 83 4. 5. Литература к главе....................... 84 4. 6. Упражнения............................... 84 Глава 5. Обзор систем для связывания Пролога и реляционных баз данных........................ 87 5. 1. PRO-SQL.................................. 87 5. 2. EDUCE.................................... 89 5. 3. ESTEAM................................... 90 5. 4. BERMUDA.................................. 91 5. 5. CGW и PRIMO.............................. 93 5.6. QUINTUS-PROLOG........................... 95 5. 7. Литература к главе....................... 98 Часть 2. Основы языка Дейталог................... 99 Глава 6. Синтаксис и семантика языка Дейталог.... 99 6. 1. Основные определения и предположения.....100 6.2. Теория моделей Дейталога................. 111 6.3. Заключение...............................119 6. 4. Упражнения...............................120 Глава 7. Теория доказательства и вычислительные парадигмы Дейталога................ 121 7. 1. Теория доказательства для Дейталога......122
7. 2. Итерация наименьшей неподвижной точки.... 130
7.3. Обратный вывод и резолюция............... 138
7.4. Заключение...............................156
7. 5. Литература к главе.......................156
7. 6. Упражнения...............................157
Часть III. Методы оптимизации для Дейталога...... 159
Глава 8. Классификация методов оптимизации для Дейталога.......................159
8.1. Критерии классификации методов
оптимизации...................................160
8. 2. Классификация методов оптимизации........163
8. 3. Трансляция Дейталога в реляционную
алгебру.......................................... 166
8.4. Классификация правил Дейталога........... 175
8.5. Выразительная мощность Дейталога......... 182
8.6. Литература к главе....................... 183
8. 7. Упражнения...............................185
Глава 9. Методы вычисления.......................186
9.1. Восходящие методы вычисления............ 186
9.2. Нисходящие методы вычисления............. 198
9.3. Литература к главе....................... 205
9.4. Упражнения...............................205
Глава 10. Методы переписывания................... 207
10.1. Логические методы переписывания......... 207
10. 2. Переписывание алгебраических систем.....235
10. 3. Общий подход к оптимизации..............255
10.4. Литература к главе...................... 260
10. 5. Упражнения..............................262
Глава 11. Расширения чистого Дейталога........... 264
11.1. Использование встроенных предикатов в Дейталоге............................ 266
11.2. Введение отрицания в Дейталог...........269
11. 3. Представление сложных объектов и манипулирование ими................. 292
11.4. Заключение..............................310
11.5. Литература к главе...................... 310
11.6. Упражнения..............................314
Глава 12. Обзор исследовательских проектов интеграции реляционных баз данных и систем логического программирования..................... 316
12.1. Система LDL.............................317
12. 2. Проект NAIL!............................323
12.3. Проект POSTGRES.........................327
12. 4. Проект вычислительных систем пятого
поколения........................................330
12. 5. Проект KIWI.............................333
12.6. Проект ALGRES...........................335
12. 7. Проект PRISMA...........................337
12. 8. Литература к главе......................339
БИБЛИОГРАФИЯ....................................341
|
2023. 720 с. Твердый переплет. 16.9 EUR
Книга «Зияющие высоты» – первый, главный, социологический роман, созданный интеллектуальной легендой нашего времени – Александром Александровичем Зиновьевым (1922-2006), единственным российским лауреатом Премии Алексиса де Токвиля, членом многочисленных международных академий, автором десятков логических... (Подробнее) URSS. 2024. 800 с. Мягкая обложка. 37.9 EUR
ВЕРСАЛЬ: ЖЕЛАННЫЙ МИР ИЛИ ПЛАН БУДУЩЕЙ ВОЙНЫ?. 224 стр. (ТВЁРДЫЙ ПЕРЕПЛЁТ) 11 ноября 1918 года в старом вагоне неподалеку от Компьеня было подписано перемирие, которое означало окончание Первой мировой войны. Через полгода, 28 июня 1919 года, был подписан Версальский договор — вердикт, возлагавший... (Подробнее) 2023. 696 с. Твердый переплет в суперобложке. 119.9 EUR
Опираясь на новейшие исследования, историк Кристофер Кларк предлагает свежий взгляд на Первую мировую войну, сосредотачивая внимание не на полях сражений и кровопролитии, а на сложных событиях и отношениях, которые привели группу благонамеренных лидеров к жестокому конфликту. Кларк прослеживает... (Подробнее) URSS. 2024. 704 с. Твердый переплет. 26.9 EUR
В новой книге профессора В.Н.Лексина подведены итоги многолетних исследований одной из фундаментальных проблем бытия — дихотомии естественной неминуемости и широчайшего присутствия смерти в пространстве жизни и инстинктивного неприятия всего связанного со смертью в обыденном сознании. Впервые... (Подробнее) URSS. 2024. 344 с. Мягкая обложка. 18.9 EUR
Мы очень часто сталкиваемся с чудом самоорганизации. Оно воспринимается как само собой разумеющееся, не требующее внимания, радости и удивления. Из случайно брошенного замечания на семинаре странным образом возникает новая задача. Размышления над ней вовлекают коллег, появляются новые идеи, надежды,... (Подробнее) URSS. 2023. 272 с. Мягкая обложка. 15.9 EUR
Настоящая книга посвящена рассмотрению базовых понятий и техник психологического консультирования. В ней детально представлены структура процесса консультирования, описаны основные его этапы, содержание деятельности психолога и приемы, которые могут быть использованы на каждом из них. В книге... (Подробнее) URSS. 2024. 576 с. Мягкая обложка. 23.9 EUR
Эта книга — самоучитель по военной стратегии. Прочитав её, вы получите представление о принципах военной стратегии и сможете применять их на практике — в стратегических компьютерных играх и реальном мире. Книга состоит из пяти частей. Первая вводит читателя в мир игр: что в играх... (Подробнее) URSS. 2024. 248 с. Мягкая обложка. 14.9 EUR
В книге изложены вопросы новой области современной медицины — «Anti-Ageing Medicine» (Медицина антистарения, или Антивозрастная медицина), которая совмещает глубокие фундаментальные исследования в биомедицине и широкие профилактические возможности практической медицины, а также современные общеоздоровительные... (Подробнее) URSS. 2024. 240 с. Твердый переплет. 23.9 EUR
Предлагаемая вниманию читателей книга, написанная крупным биологом и государственным деятелем Н.Н.Воронцовым, посвящена жизни и творчеству выдающегося ученого-математика, обогатившего советскую науку в области теории множеств, кибернетики и программирования — Алексея Андреевича Ляпунова. Книга написана... (Подробнее) 2023. 416 с. Твердый переплет. 19.9 EUR
Вам кажется, что экономика — это очень скучно? Тогда мы идем к вам! Вам даже не понадобится «стоп-слово», чтобы разобраться в заумных формулах — их в книге нет! Все проще, чем кажется. Автор подаст вам экономику под таким дерзким соусом, что вы проглотите ее не жуя! Вы получите необходимые... (Подробнее) |