Описание книги
Логічне програмування – це стиль програмування, у якому програми набувають форми наборів речень мовою символічної логіки. Останнім часом інтерес до нього виріс завдяки можливості застосування в дедуктивних базах даних, електронних таблицях, створенні бізнес-логіки при управлінні підприємством та ін. Ця книга знайомить із теорією логічного програмування, сучасними технологіями та популярними застосуваннями. Автори ведуть читача від вивчення базових понять (набори даних, запити, оновлення тощо) до практичного застосування обчислювальної логіки. Книжка зручно структурована: розгляд нових термінів супроводжується численними прикладами; наприкінці розділів наводяться вправи, що дозволяють закріпити пройдений матеріал. Видання призначене програмістам різної кваліфікації, а також буде корисним студентам та всім бажаючим познайомитися з логічним програмуванням.
FAQ