Situation Calculus as Answer Set Programming