Inductive Logic Programming in a Nutshell