[Ciao-users] CLP(FD) and reification