logic programming inductive 882677