CINECA IRIS Institutional Research Information System
IRIS è la piattaforma adottata dall’Università degli Studi di Udine per gestire l’archivio aperto dei prodotti della ricerca. L’archivio contiene articoli, contributi in volume, monografie, interventi pubblicati in atti di convegno, Tesi di dottorato e altri materiali.
EnglishThe paper introduces a semantics for definite logic programs expressed in terms of SLD-derivations and studies various properties of SLD-derivations by using the above semantics, The semantics of a program is a goal-independent denotation, which can equivalently be specified by a denotational semantics and a transition system. The denotation is proved to be correct, minimal, AND-compositional and OR-compositional. The denotational semantics and the transition system are defined in terms of a set of primitive semantic operators, whose properties are directly related to the properties of the denotation. The SLD-derivations semantics has been designed to act as collecting semantics for a framework of abstract semantics (Comini et al., 1995, 1996). (C) 1999-Elsevier Science B.V. All rights reserved.
| Titolo: | Compositionality properties of SLD-derivations |
| Autori: | |
| Data di pubblicazione: | 1999 |
| Rivista: | |
| Abstract: | The paper introduces a semantics for definite logic programs expressed in terms of SLD-derivations and studies various properties of SLD-derivations by using the above semantics, The semantics of a program is a goal-independent denotation, which can equivalently be specified by a denotational semantics and a transition system. The denotation is proved to be correct, minimal, AND-compositional and OR-compositional. The denotational semantics and the transition system are defined in terms of a set of primitive semantic operators, whose properties are directly related to the properties of the denotation. The SLD-derivations semantics has been designed to act as collecting semantics for a framework of abstract semantics (Comini et al., 1995, 1996). (C) 1999-Elsevier Science B.V. All rights reserved. |
| Handle: | http://hdl.handle.net/11390/679497 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
http://hdl.handle.net/11390/679497
Copyright © 2020