Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator