Situation Calculus by Term Rewriting