Abstract : Existing logic languages provide some simple " extra-logical " constructs for control manipulation , such as the cut of standard Prolog and the exception handling constructs of other versions of Prolog (e.g. SICStus Prolog). Aspects specifically concerning the flow of control in a language can be quite naturally modelled by means of the Denotational Semantics, and in particular the Denotational Semantics with Continuations. In this paper we define a De-notational Semantics with Continuations to model the flow of control of a small fragment of a logic language with an explicit exception handling mechanism. Finally we show how the cut operator can be simulated by an appropriate use of the characterized exception handling constructs.
https://hal.inria.fr/hal-01157221
Contributor : Luigi Liquori <>
Submitted on : Wednesday, May 27, 2015 - 5:41:14 PM Last modification on : Saturday, January 27, 2018 - 1:31:29 AM Long-term archiving on: : Monday, April 24, 2017 - 4:43:40 PM
Luigi Liquori, Maria Luisa Sapino. Dealing with Explicit Exceptions in Prolog. 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peniscola, Spain, September 19-22, 1994, Sep 1994, Peniscola, Spain. pp.296-308. ⟨hal-01157221⟩