Machine Learning Meets The Herbrand Universe