Hello, declarative world: how relational programming takes functional programming to the next level.