Title: Deductive databases and logic programming
Subjects: Deductive databases, Logic programming