[Haskell] Datalog 2.0 - 1st Call for Papers