Deductive Databases

  • Patrick Saint-Dizier
  • Sharon J. Hamilton


Prolog lends itself naturally to the specification and creation of databases. In fact, it offers additional facilities to those found in classic database systems, in particular, the ability to make deductions. This is why a Prolog database is called a deductive database.


Truth Table Integrity Constraint Default Logic Deductive Database Prolog System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York, Inc. 1990

Authors and Affiliations

  • Patrick Saint-Dizier
    • 1
  • Sharon J. Hamilton
  1. 1.LSI Université Paul SabatierToulouseFrance

Personalised recommendations