From the Blockchain to Logic Programming and Back: Research Perspectives