Title: Deductive Databases and Their Applications
Subjects: Deductive databases