Sorry.I don’t know here point , must post for this.
From documentatiom prolog A.9.7 Example:
problem with command distinc of modulo clp(fd)
Help
I want one example
Rows[Rs1|],all_distinct(Rs1), first row
Rows [,Rs2],all_distinct(Rs2), second row
…
For all roing doing:
maplist(all_distinct, Rows),
For one row what doing distinc is OK
Thanks very match.