Redirecting to Abductive logic programming