{Abductive Logic Programming}