Describir: Deductive databases : theory and applications / Michael Dahr.