Slide 1C O - INDUCTIVE LOGIC PROGRAMMING AND ITS APPLICATIONS Slide 2 Overview Induction vs. co-induction Co-inductive logic programming A goal-directed approach for Answer…