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.
Type de document :
Communication dans un congrès
1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peniscola, Spain, September 19-22, 1994, Sep 1994, Peniscola, Spain. Printed by the University of Valencia, 2, pp.296-308, SPUPV-94.2046
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01157221
Contributeur : Luigi Liquori <>
Soumis le : mercredi 27 mai 2015 - 17:41:14
Dernière modification le : samedi 27 janvier 2018 - 01:31:29
Document(s) archivé(s) le : lundi 24 avril 2017 - 16:43:40

Fichier

1994-gulp-prode-94.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01157221, version 1

Collections

Citation

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. Printed by the University of Valencia, 2, pp.296-308, SPUPV-94.2046. 〈hal-01157221〉

Partager

Métriques

Consultations de la notice

161

Téléchargements de fichiers

71