Изменение пароля
Пользователь
anonymous
Текущий пароль
*
Новый пароль
*
Подтверждение
*
Запомнить меня
Забыли пароль?
Электронная библиотека (16+)
Впервые на сайте?
Вход
/
Регистрация
Национальный цифровой ресурс
Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 638984)
Для выхода нажмите Esc или
Введение в логическое программирование (4000,00 руб.)
0
0
Первый автор
Дженесерет Майкл
Авторы
К. Чаудри Винай
Издательство
М.: ДМК Пресс
Страниц
194
Предпросмотр
ID
809765
Аннотация
Логическое программирование – это стиль программирования, в котором программы принимают форму наборов предложений на языке символической логики. В последнее время интерес к нему вырос благодаря возможности применения в дедуктивных базах данных, электронных таблицах, создании бизнес-логики при управлении предприятием и др. Данная книга знакомит с теорией логического программирования, современными технологиями и популярными применениями. Авторы ведут читателя от изучения базовых понятий (наборы данных, запросы, обновления и т. д.) к практическому применению вычислительной логики. Книга удобно структурирована: рассмотрение новых терминов сопровождается многочисленными примерами; в конце глав приводятся упражнения, позволяющие закрепить пройденный материал.
Кому рекомендовано
Издание предназначено программистам различной квалификации, а также будет полезно студентам и всем желающим познакомиться с логическим программированием.
ISBN
978-5-97060-968-2
УДК
510.755
ББК
32.973
Дженесерет, М. . Введение в логическое программирование / В. . К. Чаудри; М. . Дженесерет .— Москва : ДМК Пресс, 2022 .— 194 с. : ил. — ISBN 978-5-97060-968-2 .— URL: https://rucont.ru/efd/809765 (дата обращения: 16.06.2024)
Популярные
Введение в теорию игр: учебное пособие
110,00 руб
Уроки развивающей математики. 5–6 классы...
100,00 руб
Краткий курс теории вероятностей
220,00 руб
Сборник задач по математическому анализу
190,00 руб
Теория вероятностей в примерах и задачах
90,00 руб
Сборник тестовых заданий по высшей матем...
190,00 руб
Вы уже смотрели
Рабочая программа по английскому языку. ...
999,60 руб
Предпросмотр (выдержки из произведения)
Резюме документа
Страницы
Текст
Введение_в_логическое_программирование.pdf
Стр.5
Стр.6
Стр.7
Стр.8
Стр.9
Введение_в_логическое_программирование.pdf
УДК 510.755 ББК 32.973 Д40 Д40 Майкл Дженесерет, Винай К. Чаудри Введение в логическое программирование / пер. с англ. С. В. Минц – М.: ДМК Пресс, 2022. – 192 с.: ил. ISBN 978-5-97060-968-2 Логическое программирование – это стиль программирования, в котором программы принимают форму наборов предложений на языке символической логики. В последнее время интерес к нему вырос благодаря возможности применения в дедуктивных базах данных, электронных таблицах, создании бизнес-логики при управлении предприятием и др. Данная книга знакомит с теорией логического программирования, современными технологиями и популярными применениями. Авторы ведут читателя от изучения базовых понятий (наборы данных, запросы, обновления и т. д.) к практическому применению вычислительной логики. Книга удобно структурирована: рассмотрение новых терминов сопровождается многочисленными примерами; в конце глав приводятся упражнения, позволяющие закрепить пройденный материал. Издание предназначено программистам различной квалификации, а также будет полезно студентам и всем желающим познакомиться с логическим программированием. Original English language edition published by Morgan and Claypool publishers. All Rights Reserved Morgan and Claypool Publishers Все права защищены. Любая часть этой книги не может быть воспроизведена в какой бы то ни было форме и какими бы то ни было средствами без письменного разрешения владельцев авторских прав. Материал, изложенный в данной книге, многократно проверен. Но, поскольку вероятность технических ошибок все равно существует, издательство не может гарантировать абсолютную точность и правильность приводимых сведений. В связи с этим издательство не несет ответственности за возможные ошибки, связанные с использованием книги. ISBN 978-1-68173-722-5 (англ.) Copyright ©2020 Morgan and Claypool Publishers, 2020 ISBN 978-5-97060-968-2 (рус.) © Оформление, перевод на русский язык, издание, ДМК Пресс, 2022
Стр.5
Оглавление Предисловие от издательства ............................................................ 9 Отзывы ............................................................................................... 10 Предисловие ...................................................................................... 11 Часть I. Введение ............................................................................................ 13 Глава 1. Введение ............................................................................... 14 1.1. Программирование в логике .....................................................................14 1.2. Логические программы как исполняемые спецификации .....................14 1.3. Преимущества логического программирования .....................................15 1.4. Области применения логического программирования ..........................16 1.5. Базовое логическое программирование ..................................................18 Исторические заметки .....................................................................................19 Глава 2. Наборы данных ................................................................... 21 2.1. Введение .....................................................................................................21 2.2. Формирование представлений .................................................................21 2.3. Наборы данных ..........................................................................................22 2.4. Пример – женское сообщество ..................................................................24 2.5. Пример – родство .......................................................................................25 2.6. Пример – мир блоков .................................................................................26 2.7. Пример – мир еды ......................................................................................28 2.8. Переформулирование ................................................................................29 2.9. Упражнения ................................................................................................31 Часть II. Запросы и обновления ..................................................................... 33 Глава 3. Запросы ................................................................................ 34 3.1. Введение .....................................................................................................34 3.2. Синтаксис запросов ...................................................................................35 3.3. Семантика запроса ....................................................................................36 3.4. Безопасность ..............................................................................................37 3.5. Предопределенные понятия .....................................................................38 3.6. Пример – родственные связи ....................................................................39 3.7. Пример – раскрашивание карт ..................................................................40 3.8. Упражнения ................................................................................................42 Глава 4. Обновления .......................................................................... 44 4.1. Введение .....................................................................................................44 4.2. Синтаксис обновлений ..............................................................................44 4.3. Семантика обновлений .............................................................................45
Стр.6
6 Оглавление 4.4. Одновременные обновления ....................................................................46 4.5. Пример – родство .......................................................................................47 4.6. Пример – цвета ..........................................................................................48 4.7. Упражнения ................................................................................................52 Глава 5. Оценка запросов .................................................................. 53 5.1. Введение .....................................................................................................53 5.2. Оценка базовых запросов..........................................................................53 5.3. Сопоставление............................................................................................54 5.4. Оценка запросов с переменными .............................................................57 5.5. Вычислительный анализ ...........................................................................58 5.6. Упражнения ................................................................................................60 Глава 6. Оптимизация просмотра ................................................... 61 6.1. Введение .....................................................................................................61 6.2. Упорядочивание подцелей ........................................................................61 6.3. Удаление подцелей ....................................................................................63 6.4. Удаление правил ........................................................................................64 6.5. Пример – криптарифметика .....................................................................65 6.6. Упражнения ................................................................................................67 Часть III. Определения представлений ........................................................... 69 Глава 7. Определения представлений ............................................. 70 7.1. Введение .....................................................................................................70 7.2. Синтаксис ....................................................................................................71 7.3. Семантика ...................................................................................................73 7.4. Полупозитивные программы ....................................................................76 7.5. Стратифицированные программы ...........................................................79 7.6. Упражнения ................................................................................................81 Глава 8. Оценка вида ......................................................................... 83 8.1. Введение .....................................................................................................83 8.2. Нисходящая обработка основных целей и правил ..................................84 8.3. Унификация ................................................................................................85 8.4. Нисходящая обработка неосновных запросов и правил .........................89 8.5. Упражнения ................................................................................................92 Глава 9. Примеры .............................................................................. 93 9.1. Введение .....................................................................................................93 9.2. Пример – родство .......................................................................................93 9.3. Пример – мир блоков .................................................................................94 9.4. Пример – модульная арифметика ............................................................96 9.5. Пример – направленные графы ................................................................97 9.6. Упражнения ................................................................................................99
Стр.7
Оглавление 7 Глава 10. Списки, множества, деревья .......................................... 101 10.1. Введение .................................................................................................101 10.2. Пример – арифметика Пеано ................................................................101 10.3. Списки.....................................................................................................103 10.4. Пример – сортированные списки .........................................................105 10.5. Пример – множества ..............................................................................106 10.6. Пример – деревья ...................................................................................107 10.7. Упражнения ............................................................................................107 Глава 11. Динамические системы .................................................. 109 11.1. Введение .................................................................................................109 11.2. Представление ........................................................................................110 11.3. Моделирование ......................................................................................112 11.4. Планирование ........................................................................................113 11.5. Упражнения ............................................................................................114 Глава 12. Метазнания ...................................................................... 116 12.1. Введение .................................................................................................116 12.2. Обработка естественного языка ...........................................................116 12.3. Булева логика .........................................................................................118 12.4. Упражнения ............................................................................................120 Часть IV Определения операций .................................................................. 121 Глава 13. Операции ......................................................................... 122 13.1. Введение .................................................................................................122 13.2. Синтаксис ...............................................................................................122 13.3. Семантика ...............................................................................................124 13.4. Упражнения ............................................................................................127 Глава 14. Динамические логические программы ........................ 129 14.1. Введение .................................................................................................129 14.2. Реактивные системы ..............................................................................129 14.3. Замкнутые системы ...............................................................................130 14.4. Система со смешанной инициативой ..................................................132 14.5. Одновременные действия .....................................................................133 14.6. Упражнения ............................................................................................135 Глава 15. Управление базами данных ........................................... 136 15.1. Введение .................................................................................................136 15.2. Обновление с ограничениями ..............................................................136 15.3. Ведение материализованных представлений .....................................138 15.4. Обновление через представления ........................................................138 15.5. Упражнения ............................................................................................139
Стр.8
8 Оглавление Глава 16. Интерактивные рабочие листы ..................................... 141 16.1. Интерактивные рабочие листы .............................................................141 16.2. Пример ....................................................................................................142 16.3. Данные страницы...................................................................................143 16.4. Жесты ......................................................................................................144 16.5. Определения операций .........................................................................145 16.6. Определения вида ..................................................................................147 16.7. Семантическое моделирование ............................................................148 Часть V Заключение ...................................................................................... 151 Глава 17. Вариации .......................................................................... 152 17.1. Введение .................................................................................................152 17.2. Логические производственные системы ..............................................152 17.3. Логическое программирование с ограничениями ..............................153 17.4. Дизъюнктивное логическое программирование .................................155 17.5. Экзистенциальное логическое программирование ............................156 17.6. Программирование наборов ответов ...................................................157 17.7. Индуктивное логическое программирование ......................................159 Приложение A. Предопределенные понятия в EpilogJS .............. 161 А.1. Введение...................................................................................................161 A.2. Отношения ...............................................................................................161 А.3. Математические функции ......................................................................162 А.4. Строковые функции ................................................................................165 А.5. Функции списков .....................................................................................165 A.6. Арифметические функции списков .......................................................166 A.7. Функции преобразования .......................................................................167 A.8. Агрегаты ...................................................................................................167 A.9. Операторы ...............................................................................................168 Приложение Б. Sierra ...................................................................... 170 Б.1. Введение ...................................................................................................170 Б.2. Начало работы..........................................................................................170 Б.3. Данные ......................................................................................................171 Б.4. Запросы ....................................................................................................175 Б.5. Обновления ..............................................................................................178 Б.6. Определения представлений ..................................................................181 Б.7. Определения операций ...........................................................................186 Б.8. Настройки.................................................................................................187 Б.9. Управление файлами ...............................................................................190 Б.10. Заключение ............................................................................................191
Стр.9
Облако ключевых слов *
* - вычисляется автоматически