  Continuous reasoning has proven effective in incrementally analysing changes
in application codebases within Continuous Integration/Continuous Deployment
(CI/CD) software release pipelines. In this article, we present a novel
declarative continuous reasoning approach to support the management of
multi-service applications over the Cloud-IoT continuum, in particular when
infrastructure variations impede meeting application's hardware, software, IoT
or network QoS requirements. We show how such an approach brings considerable
speed-ups compared to non-incremental reasoning.
