結果 : differentiable inductive logic programming for structured examples