Efficient Induction of Logic Programs Based on the Mode Analysis of Most Specific Hypothesis