An interactive semantics of logic programming

Roberto Bruni, Ugo Montanari, Francesca Rossi

We apply to logic programming some recently emerging ideas from the field of reduction-based communicating systems, with the aim of giving evidence of the hidden interactions and t…