Inductive logic

Summary