Title: Logidata+
Subjects: Deductive databases