datalog 2020-02-13

@jbalint has joined the channel