我想在序言中写“检查一个列表是否具有相同的元素”，例如 list[a,a,a,a] 为真。list[a,c,a,a] 是假的。我怎么能这样做？
list prolog
list ×1
prolog ×1