Skip to main content

Semantics for Prolog with Cut – Revisited

Kriener, Jael and King, Andy (2014) Semantics for Prolog with Cut – Revisited. In: Sumii, Eijiro and Codish, Michael, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 8475 . Springer Verlag, pp. 270-284. ISBN 978-3-319-07151-0. (doi:10.1007/978-3-319-07151-0_17) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:38188)

PDF Pre-print
Language: English

Restricted to Repository staff only
[thumbnail of main.pdf]
Official URL:


This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to the number of answers and determinacy. It also shows how to replace prefix ordering, that is classically used in these semantics, with a domain that is setup for abstraction, whilst simultaneously retaining a fixpoint construction, albeit one in a stratified form.

Item Type: Book section
DOI/Identification number: 10.1007/978-3-319-07151-0_17
Subjects: A General Works
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Andy King
Date Deposited: 09 Feb 2014 14:57 UTC
Last Modified: 09 Mar 2023 11:33 UTC
Resource URI: (The current URI for this page, for reference purposes)
King, Andy:
  • Depositors only (login required):


Downloads per month over past year