1 Incremental Inductive Synthesis of Datalog Theories