Nonmonotonic Reasoning, Answer Set Programming and Constraints