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

Official URL: https://doi.org/10.1007/978-3-319-07151-0_17

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
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:	05 Nov 2024 10:22 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/38188 (The current URI for this page, for reference purposes)

University of Kent Author Information

Kriener, Jael.

Creator's ORCID:
CReDIT Contributor Roles:

King, Andy.

Creator's ORCID:	https://orcid.org/0000-0001-5806-4822
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.