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

Логічне програмування – це стиль програмування, у якому програми приймають форму наборів пропозицій мовою символічної логіки. Останнім часом інтерес до нього зріс завдяки можливості застосування дедуктивних баз даних, електронних таблиць, створення бізнес-логіки при управлінні підприємством та ін

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

Видання призначене програмістам різної кваліфікації, а також буде корисним студентам і всім бажаючим познайомитися з логічним програмуванням.