Another language which involves both constraint programming and imperative programming is Alma-0[1]. While Alma-0 doesn't seem that much more than a toy language, I always liked the backtracking + standard-loops feature. It seemed offer clarity plus incredible power.
I would wonder if Picat has similar feature (to implicit backtracking in imperative loops)?