Modeling answer constraints in constraint logic programs
Abstract: "The constraint logic programming paradigm CLP (X) (CLP for short) has been proposed by Jaffar and Lassez in order to integrate a generic computational mechanism based on constraints with the logic programming framework. This paradigm retains the semantic properties of logic languages...
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Pisa
1991
|
Schriftenreihe: | Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report
1991,4 |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | Abstract: "The constraint logic programming paradigm CLP (X) (CLP for short) has been proposed by Jaffar and Lassez in order to integrate a generic computational mechanism based on constraints with the logic programming framework. This paradigm retains the semantic properties of logic languages, namely the existence of equivalent operational, model theoretic and fixpoint semantics. Moreover, since computation is performed over the particular domain of computation X, CLP (X) programs have an equivalent 'algebraic' semantics, i.e. a semantics which is defined directly on the algebraic structure of the domain X. In this paper we propose an extension of such a semantics, for the success set case, in order to fully characterize the operational behaviour of programs We introduce a framework of defining various notions of models, each corresponding to a specific operationally observable property. The construction is based on a new notion of interpretation (set of constrained atoms), on a natural extension of the standard notion of truth and on the definition of various immediate consequences operators T[subscript i], whose least fixpoints on the lattice of interpretations are models corresponding to various observable properties. Since within our framework the equivalence between the operational and the declarative semantics can be fully achieved, it can be taken as the basis of program transformation and analyses techniques In particular, it is possible to define suitable abstract immediate consequence operators and therefore a bottom-up abstract interpretation framework which generalizes to the CLP case an approach developed for pure logic programs. |
---|---|
Beschreibung: | 19 S. |