Expressiveness Of Answer Set Languages