Dealing with Explicit Exceptions in PrologReport as inadecuate

Dealing with Explicit Exceptions in Prolog - Download this document for free, or read online. Document in PDF available to download.

1 Dipartimento di Informatica Torino 2 LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems CRISAM - Inria Sophia Antipolis - Méditerranée

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.

Keywords : Continuations Denotational semantics Exception handling Cut

Author: Luigi Liquori - Maria Luisa Sapino -



Related documents