Une base de données déductive est une base de données qui permet de déduire des faits nouveaux à partir de ceux qu'elle contient. Après une présentation de Datalog, qui est le langage standard issu de Prolog dans le domaine des bases de données, l'ouvrage décrit les divers systèmes de bases de données déductives.