Affiliations: [a] Alma Mater Studiorum–Università di Bologna, viale Risorgimento 2, 40136, Bologna, Italy. [email protected] | [b] Alma Mater Studiorum–Università di Bologna, viale Risorgimento 2, 40136, Bologna, Italy. [email protected] | [c] Università degli Studi di Udine, via delle Scienze 206, 33100, Udine, Italy. [email protected] | [d] Alma Mater Studiorum–Università di Bologna, via Sacchi 3, 47521, Cesena, Italy. [email protected]
Correspondence:
[*]
Address for correspondence: Alma Mater Studiorum–Università di Bologna, Bologna, Italy
Note: [†] The work by A. Dovier was partially supported by INdAM/GNCS projects 2015–2017, and PRID ENCASE.
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.
