Smartlog – A declarative language for distributed programming in smart grids. (December 2019)