Elements of inductive Logic