結果 : inductive logic programming example