Введение в логическое программирование
Книга «Введение в логическое программирование» представляет собой фундаментальное руководство по стилю программирования, в котором программы принимают форму наборов предложений на языке символической логики. Авторы, Майкл Дженесерет и Винай К. Чаудри, ведут читателя от изучения базовых понятий, таких как наборы данных, запросы и обновления, к практическому применению вычислительной логики в современных технологиях.
В первой части книги рассматриваются основы логического программирования, его преимущества и области применения, включая дедуктивные базы данных, электронные таблицы и управление бизнес-логикой. Авторы подчеркивают, что логическое программирование позволяет создавать исполняемые спецификации, что упрощает разработку и поддержку программ.
Вторая часть посвящена запросам и обновлениям, где подробно разбираются синтаксис и семантика запросов, безопасность и примеры практического использования. Книга удобно структурирована: каждый новый термин сопровождается многочисленными примерами, а в конце глав приводятся упражнения для закрепления материала.
Издание предназначено для программистов различной квалификации, студентов и всех, кто хочет познакомиться с логическим программированием. Оно сочетает теоретическую глубину с практической направленностью, делая сложные концепции доступными для понимания.
