An abductive framework for extended logic programming