Non-terminating processes in the situation calculus