  We combine continuous and integral logics and found a logical framework for
metric measure spaces equipped with a family of continuous relations and
operations. We prove the ultraproduct theorem and deduce compactness and other
usual results. We also give applications of the compactness theorem in metric
measure theory.
