Inductive logic