Answer Sets and Negation-as-Failure