Implementation of webdamlog, a distributed datalog language