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. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

PDF - Pre-print
Restricted to Repository staff only
Contact us about this Publication Download (233kB)
[img]

Abstract

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
Subjects: A General Works
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Andy King
Date Deposited: 09 Feb 2014 14:57 UTC
Last Modified: 29 May 2019 11:50 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/38188 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year