A Logic-Based Approach to Mining Inductive Databases