Title: Deductive Databases and Their Applications