FOIL: A Midterm Report
machine invention of first order predicates by inverting resolution .