Введение в логическое программирование

Description

Логическое программирование – это стиль программирования, в котором программы принимают форму наборов предложений на языке символической логики. В последнее время интерес к нему вырос благодаря возможности применения в дедуктивных базах данных, электронных таблицах, создании бизнес-логики при управлении предприятием и др. Данная книга знакомит с теорией логического программирования, современными технологиями и популярными применениями. Авторы ведут читателя от изучения базовых понятий (наборы данных, запросы, обновления и т. д.) к практическому применению вычислительной логики. Книга удобно структурирована: рассмотрение новых терминов сопровождается многочисленными примерами; в конце глав приводятся упражнения, позволяющие закрепить пройденный материал. Издание предназначено программистам различной квалификации, а также будет полезно студентам и всем желающим познакомиться с логическим программированием. Предисловие от издательства Отзывы Предисловие Часть I. Введение Глава 1 Введение 1.1. Программирование в логике 1.2. Логические программы как исполняемые спецификации 1.3. Преимущества логического программирования 1.4. Области применения логического программирования 1.5. Базовое логическое программирование Исторические заметки Глава 2 Наборы данных 2.1. Введение 2.2. Формирование представлений 2.3. Наборы данных 2.4. Пример – женское сообщество 2.5. Пример – родство 2.6. Пример – мир блоков 2.7. Пример – мир еды 2.8. Переформулирование 2.9. Упражнения Часть II. Запросы и обновления Глава 3 Запросы 3.1. Введение 3.2. Синтаксис запросов 3.3. Семантика запроса 3.4. Безопасность 3.5. Предопределенные понятия 3.6. Пример – родственные связи 3.7. Пример – раскрашивание карт 3.8. Упражнения Глава 4 Обновления 4.1. Введение 4.2. Синтаксис обновлений 4.3. Семантика обновлений 4.4. Одновременные обновления 4.5. Пример – родство 4.6. Пример – цвета 4.7. Упражнения Глава 5 Оценка запросов 5.1. Введение 5.2. Оценка базовых запросов 5.3. Сопоставление 5.4. Оценка запросов с переменными 5.5. Вычислительный анализ 5.6. Упражнения Глава 6 Оптимизация просмотра 6.1. Введение 6.2. Упорядочивание подцелей 6.3. Удаление подцелей 6.4. Удаление правил 6.5. Пример – криптарифметика 6.6. Упражнения Часть III. Определения представлений Глава 7 Определения представлений 7.1. Введение 7.2. Синтаксис 7.3. Семантика 7.4. Полупозитивные программы 7.5. Стратифицированные программы 7.6. Упражнения Глава 8 Оценка вида 8.1. Введение 8.2. Нисходящая обработка основных целей и правил 8.3. Унификация 8.4. Нисходящая обработка неосновных запросов и правил 8.5. Упражнения Глава 9 Примеры 9.1. Введение 9.2. Пример – родство 9.3. Пример – мир блоков 9.4. Пример – модульная арифметика 9.5. Пример – направленные графы 9.6. Упражнения Глава 10 Списки, множества, деревья 10.1. Введение 10.2. Пример – арифметика Пеано 10.3. Списки 10.4. Пример – сортированные списки 10.5. Пример – множества 10.6. Пример – деревья 10.7. Упражнения Глава 11 Динамические системы 11.1. Введение 11.2. Представление 11.3. Моделирование 11.4. Планирование 11.5. Упражнения Глава 12 Метазнания 12.1. Введение 12.2. Обработка естественного языка 12.3. Булева логика 12.4. Упражнения Часть IVОпределения операций Глава 13 Операции 13.1. Введение 13.2. Синтаксис 13.3. Семантика 13.4. Упражнения Глава 14 Динамические логические программы 14.1. Введение 14.2. Реактивные системы 14.3. Замкнутые системы 14.4. Система со смешанной инициативой 14.5. Одновременные действия 14.6. Упражнения Глава 15 Управление базами данных 15.1. Введение 15.2. Обновление с ограничениями 15.3. Ведение материализованных представлений 15.4. Обновление через представления 15.5. Упражнения Глава 16 Интерактивные рабочие листы 16.1. Интерактивные рабочие листы 16.2. Пример 16.3. Данные страницы 16.4. Жесты 16.5. Определения операций 16.6. Определения вида 16.7. Семантическое моделирование Часть VЗаключение Глава 17 Вариации 17.1. Введение 17.2. Логические производственные системы 17.3. Логическое программирование с ограничениями 17.4. Дизъюнктивное логическое программирование 17.5. Экзистенциальное логическое программирование 17.6. Программирование наборов ответов 17.7. Индуктивное логическое программирование Приложение A Предопределенные понятия в EpilogJS А.1. Введение A.2. Отношения А.3. Математические функции А.4. Строковые функции А.5. Функции списков A.6. Арифметические функции списков A.7. Функции преобразования A.8. Агрегаты A.9. Операторы Приложение Б Sierra Б.1. Введение Б.2. Начало работы Б.3. Данные Б.4. Запросы Б.5. Обновления Б.6. Определения представлений Б.7. Определения операций Б.8. Настройки Б.9. Управление файлами Б.10. Заключение