Program synthesis.
The goal of program synthesis [1]} is to automatically generate computer programs from examples.
This topic, which [2]} consider the holy grail of AI, interests a broad community [3]}, [4]}.
We focus on ILP, which induces human-readable logic programs, often from small numbers of training examples [5]}.
