Comparative semantics for prolog with cut

AbstractAn abstract language B embodying the flow of control component of PROLOG including the cut operator is considered. Both a denotational and operational model for B are developed and related by studying approximations of an intermediate semantics based on terminating transition systems. Interpretation and refinement of the models of B lead to a Plotkin-style operational semantics and an equivalent denotational semantics for prolog with cut