inductive logic