Elements of Inductive Logic