An application of declarative languages in distributed architectures: Asp and dali microservices