Logical Learner