Logic Programming and Databases: An Overview

This book deals with the integration of logic programming and databases to generate new types of systems, which extend the frontiers of computer science in an important direction and fulfil the needs of new applications. Several names are used to describe these systems:a)The term deductive database highlights the ability to use a logic programming style for expressing deductions concerning the content of a database.b)The term knowledge base management system (KBMS) highlights the ability to manage (complex) knowledge instead of (simple) data.c)The term expert database system highlights the ability to use expertise in a particular application domain to solve classes of problems, but having access over a large database.