Nonmonotonic Inductive Logic Programming as Abductive Search