length(List, 5),
fd_domain(List, 1, 5),
fd_all_different(List).
Здесь я создал список из 5 элементов и хочу убедиться, что эти 5 элементов имеют разные значения. Я хочу найти другой способ заменить fd_all_different на другие предикаты, могу ли я это сделать?
Спасибо заранее.