Abductive logic programming