Declarative continuous reasoning in the cloud-IoT continuum