Title: Foundations of deductive databases and logic programming
Subjects: Logic programming, Deductive databases