In order to enable logic programming to deal with the diversity of pervasive systems, where many heterogeneous, domain-specific computational models could benefit from the power of symbolic computation, we explore the expressive power of labelled systems. To this end, we define a new notion of truth for logic programs extended with labelled variables interpreted in non-Herbrand domains—where, however, terms maintain their usual Herbrand interpretations. First, a model for labelled variables in logic programming is defined. Then, the fixpoint and the operational semantics are presented and their equivalence is formally proved. A meta-interpreter implementing the operational semantics is also introduced, followed by some case studies aimed at showing the effectiveness of our approach in selected scenarios.
Extending Logic Programming with Labelled Variables: Model and Semantics / Calegari, Roberta; Denti, Enrico; Dovier, Agostino; Omicini, Andrea. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - STAMPA. - 161:1-2(2018), pp. 53-74.
Titolo: | Extending Logic Programming with Labelled Variables: Model and Semantics |
Autore/i: | Calegari, Roberta; Denti, Enrico; Dovier, Agostino; Omicini, Andrea |
Autore/i Unibo: | |
Anno: | 2018 |
Rivista: | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.3233/FI-2018-1695 |
Abstract: | In order to enable logic programming to deal with the diversity of pervasive systems, where many heterogeneous, domain-specific computational models could benefit from the power of symbolic computation, we explore the expressive power of labelled systems. To this end, we define a new notion of truth for logic programs extended with labelled variables interpreted in non-Herbrand domains—where, however, terms maintain their usual Herbrand interpretations. First, a model for labelled variables in logic programming is defined. Then, the fixpoint and the operational semantics are presented and their equivalence is formally proved. A meta-interpreter implementing the operational semantics is also introduced, followed by some case studies aimed at showing the effectiveness of our approach in selected scenarios. |
Data stato definitivo: | 2018-07-25T14:00:07Z |
Appare nelle tipologie: |