[celestius]

I saw the Datafun presentation at Strangeloop some years back, so it’s really cool to see these ideas come to such an impressive fruition. In the meantime, a virtual machine for an RDF based logic language became my own side project/obsession, so this dissertation looks like exactly what I need.