Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "A Coalgebraic Approach to Unification Semantics of Logic Programming"

by Ugo Montanari

Tue, 14 January 2020 at 03:50 pm in Massa Marittima, Italy

Joint work with: Roberto Bruni and Giorgio Mossa

Abstract: In the version of logic programming (LP) based on interpretations where variables occur in atoms, a goal reduction via unification can be seen as a transition labelled by the most general unifier. Categorically, it is thus natural to model a logic program as a coalgebra. In the talk we represent: (i) goals as the substitutive monoid freely generated by the predicate symbols; (ii) the LTS as the structured coalgebra defined by the SOS rules implicit in the LP semantics; (iii) the bisimulation semantics of a logic program as its image on the final coalgebra.