Введення в логічне програмування, Дженесерет М., Чаудр В. До.

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