Электронная книга
Электронная книгаВведение в логическое программирование
Аннотация
Логическое программирование — это стиль программирования, в котором программы принимают форму наборов предложений на языке символической логики. В последнее время интерес к нему вырос благодаря возможности применения в дедуктивных базах данных, электронных таблицах, создании бизнес-логики при управлении предприятием и др.
Данная книга знакомит с теорией логического программирования, современными технологиями и популярными применениями. Авторы ведут читателя от изучения базовых понятий (наборы данных, запросы, обновления и т.д.) к практическому применению вычислительной логики. Книга удобно структурирована: рассмотрение новых терминов сопровождается многочисленными примерами; в конце глав приводятся упражнения, позволяющие закрепить пройденный материал.
Издание предназначено программистам различной квалификации, а также будет полезно студентам и всем желающим познакомиться с логическим программированием.
Данная книга знакомит с теорией логического программирования, современными технологиями и популярными применениями. Авторы ведут читателя от изучения базовых понятий (наборы данных, запросы, обновления и т.д.) к практическому применению вычислительной логики. Книга удобно структурирована: рассмотрение новых терминов сопровождается многочисленными примерами; в конце глав приводятся упражнения, позволяющие закрепить пройденный материал.
Издание предназначено программистам различной квалификации, а также будет полезно студентам и всем желающим познакомиться с логическим программированием.
Характеристики
|
Издано
|
Издательство «ДМК Пресс» |
|
Формат(ы)
|
|
|
Перевод
|
с англ. |
|
Переводчик(и)
|
С.В. Минц |
|
Возрастное ограничение
|
Нет |
|
Вид издания
|
Учебное издание |
Ознакомительный фрагмент
Открыть/скачать фрагмент
429,4 кб
Отзывы
