Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system