| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Dealing with Explicit Exceptions in Prolog
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.
Cited literature [20 references]
https://hal.inria.fr/hal-01157221
Contributor : Luigi Liquori Connect in order to contact the contributor
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
Contributor : Luigi Liquori Connect in order to contact the contributor
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
File
1994-gulp-prode-94.pdf
Files produced by the author(s)