Inductive Logic Programming by Daniele Gunetti & Francesco Bergadano