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.
KeywordsTruth Table Integrity Constraint Default Logic Deductive Database Prolog System
Unable to display preview. Download preview PDF.