Cooperation of Abduction and Induction in Logic Programming