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. [10.3233/FI-2018-1695]

Extending Logic Programming with Labelled Variables: Model and Semantics

Calegari, Roberta
;
Denti, Enrico;Omicini, Andrea
2018

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.
2018
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. [10.3233/FI-2018-1695]
Calegari, Roberta; Denti, Enrico; Dovier, Agostino; Omicini, Andrea
File in questo prodotto:
File Dimensione Formato  
CDDO-FI-2017.pdf

accesso aperto

Tipo: Postprint
Licenza: Licenza per accesso libero gratuito
Dimensione 1.06 MB
Formato Adobe PDF
1.06 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/636935
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 4
social impact