Daco Harkes | A Relational Programming Language | ACM SRC at Modularity 2014 | April 22, 2014 | PDF