Prolog找到列表的排列，置换内的值不能是相同的值

Question

length(List, 5),
fd_domain(List, 1, 5),
fd_all_different(List).

这里我创建了一个包含5个元素的列表，我想确保这5个元素具有不同的值。我想找到另一种方法将fd_all_different替换为另一个谓词，无论如何我能做到吗？

提前致谢。