Efficient induction of logic programs