Efficient Induction Of Logic Programs
machine invention of first order predicates by inverting resolution .