Inductive Logic Programming

AutoCS
The Automatic Computer Scientist