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