Never Ending Learning
machine invention of first order predicates by inverting resolution .