The blockchain is a novel approach to support distributed systems enabling a common, consistent view of a shared state among distributed nodes. There, smart contracts are computer programs that allow users to deploy arbitrary computations, in charge of automatically regulate state transitions and enforce properties. In this paper we speculate on how the blockchain and smart contracts could take advantage of a logic programming approach, and, complementarily, on how logic programming can benefit from the blockchain infrastructure. Accordingly, we discuss some possible research directions and open questions for future research.

From the Blockchain to Logic Programming and Back: Research Perspectives / Ciatto, Giovanni; Calegari, Roberta; Mariani, Stefano; Denti, Enrico; Omicini, Andrea. - 2215:(2018), pp. 69-74. ((Intervento presentato al convegno 19th Workshop "From Objects to Agents" tenutosi a Palermo nel 28/06/2018.

From the Blockchain to Logic Programming and Back: Research Perspectives

Stefano Mariani
;
2018

Abstract

The blockchain is a novel approach to support distributed systems enabling a common, consistent view of a shared state among distributed nodes. There, smart contracts are computer programs that allow users to deploy arbitrary computations, in charge of automatically regulate state transitions and enforce properties. In this paper we speculate on how the blockchain and smart contracts could take advantage of a logic programming approach, and, complementarily, on how logic programming can benefit from the blockchain infrastructure. Accordingly, we discuss some possible research directions and open questions for future research.
19th Workshop "From Objects to Agents"
Palermo
28/06/2018
2215
69
74
Ciatto, Giovanni; Calegari, Roberta; Mariani, Stefano; Denti, Enrico; Omicini, Andrea
From the Blockchain to Logic Programming and Back: Research Perspectives / Ciatto, Giovanni; Calegari, Roberta; Mariani, Stefano; Denti, Enrico; Omicini, Andrea. - 2215:(2018), pp. 69-74. ((Intervento presentato al convegno 19th Workshop "From Objects to Agents" tenutosi a Palermo nel 28/06/2018.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11380/1172538
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? ND
social impact