Title: LOGIDATA+
Subjects: Deductive databases, Databases