Inductive Logic Programming by Celine Rouveirol & M. Sebag