Введение в логическое программирование / пер. с англ. С. В. Минц

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

Дженесерет Майкл. Введение в логическое программирование / пер. с англ. С. В. Минц / К. Винай. - Москва : ДМК Пресс, 2022. - 192 с. - ISBN 978-5-97060-968-2. - URL: http://m.ibooks.ru/bookshelf/388467/reading (дата обращения: 26.07.2025). - Текст: электронный.