Bonchi, Filippo and Zanasi, Fabio - Bialgebraic Semantics for Logic Programming

lmcs:1155 - Logical Methods in Computer Science, March 30, 2015, Volume 11, Issue 1
Bialgebraic Semantics for Logic Programming

Authors: Bonchi, Filippo and Zanasi, Fabio

Bialgebrae provide an abstract framework encompassing the semantics of different kinds of computational models. In this paper we propose a bialgebraic approach to the semantics of logic programming. Our methodology is to study logic programs as reactive systems and exploit abstract techniques developed in that setting. First we use saturation to model the operational semantics of logic programs as coalgebrae on presheaves. Then, we make explicit the underlying algebraic structure by using bialgebrae on presheaves. The resulting semantics turns out to be compositional with respect to conjunction and term substitution. Also, it encodes a parallel model of computation, whose soundness is guaranteed by a built-in notion of synchronisation between different threads.


Source : oai:arXiv.org:1502.06095
DOI : 10.2168/LMCS-11(1:14)2015
Volume: Volume 11, Issue 1
Published on: March 30, 2015
Submitted on: February 28, 2014
Keywords: Computer Science - Logic in Computer Science


Share

Consultation statistics

This page has been seen 99 times.
This article's PDF has been downloaded 29 times.