A reactive constrained programming language on supervisioned data