---
title: "Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator"
authors:
  - "Fangzhen Lin"
doi: ""
url: "https://ijcai.org/proceedings/1997/203"
pdf: "https://ijcai.org/proceedings/1997/0203.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "1412-1418"
track: "Temporal Reasoning"
keywords:
---

# Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator

Fangzhen Lin

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 1412-1418.

## Abstract

We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a situation calculus semantics for the Prolog cut operator, the central search control operator in Prolog. We show that our semantics is well-behaved when the programs are properly stratified. We also show that according to this semantics, the conventional implementation of the negationas-failure operator using cut is provably correct with respect to the stable model semantics.