The Logical Learner