How to add constraints to elements of a list in other predicates?

Question

I\'m trying to do a Sudoku solver in SICStus Prolog using the clpfd library, but it should be similar to other implementations like SWI-Prolog. The main predicate i