Inductive Logic Operation