[Ciao-users] Fwd: disjunctive constraints over finite domains