Talk:First-order inductive learner: Difference between revisions