In the past two decades enormous growth has been observed in the fields of logic programming snd deductive databases. These fields are closely related and in many respects their study can be made from a single point of view. The principal objectives of this book are two-fold. The first is to cover in a systematic and intensive manner the theoretions foundations common to both logic programming and deductive databases and the second is to focus more specifically on selected theoretical and practical aspects of deductive databases. This book is self-contained, providing a comprehensive presentation of the background material in the early chapters with definitions, theorems and their proofs, algorithms and program code are included wherever they are relevant.
Part I Introduction
- Chapter 1 History and overview
Part II Background Material
- Chapter 2 Mathematical preliminaries
- Chapter 3 Mathematical logic
- Chapter 4 Resolution theorem proving
Part III Logic Programming
- Chapter 5 Logic programming
- Chapter 6 Definite programs
- Chapter 7 Normal programs
- Chapter 8 Disjunctive programs and general programs
- Chapter 9 Prolog
Part IV Deductive Databases
- Chapter 10 Deductive databases
- Chapter 11 Query evaluation
- Chapter 12 Integrity constraints
etc.