Inductive Logic Programming - Nicolas Lachiche, Christel Vrain (Springer, 2018)