Dealing with Explicit Exceptions in Prolog - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1994

Dealing with Explicit Exceptions in Prolog

Résumé

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.
Fichier principal
Vignette du fichier
1994-gulp-prode-94.pdf (225 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01157221 , version 1 (27-05-2015)

Identifiants

  • HAL Id : hal-01157221 , version 1

Citer

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⟩

Collections

INRIA INRIA2
141 Consultations
104 Téléchargements

Partager

Gmail Facebook X LinkedIn More