Foundations of inductive logic | EKB DL