測試該術語是不同變量的列表

Question

ISO Prolog中用於測試不同變量列表的最緊湊和規范的方法是什么？ 我們稱這個元邏輯謂詞為is_varset/1 。

因此，如果它的參數是一個完全不同的變量列表，它應該會成功。 請注意，列表的末尾始終包含[] 。 如果變量在最后，我們將其稱為部分列表 （因此不是列表）。 如果一個非變量項作為既不是[]也不是變量的后綴出現，那么這既不是部分列表也不是列表 。

術語既不是部分列表也不是列表的一個值得注意的特殊情況是無限列表 。 它們包含至少兩個相同的后綴，實際上它們擁有無限的后綴。 無限列表超出了標准的范圍 - 所有創建它們的嘗試都會導致STO統一，其結果是未定義的。 盡管如此，有些系統支持它們，因此理想情況下，對於那些無限列表， is_varset/1應該有限地失敗。

?- is_varset([A|nonlist]).
false.

?- is_varset([A,B]), is_varset([B,A]).
true.

?- is_varset([A,B,A]).
false.

?- is_varset([A,f(B)]).
false.

?- is_varset([A|_]).
false.

?- L = [_|L], is_varset(L).  % may loop, should rather terminate
false.

以下是ISO / IEC 13211-1：1995中內置插件的概述，包括Cor.2：2012。

Answer 1

SWI-Prolog中的這個簡單定義似乎可以滿足要求

is_varset(Vs) :- /*is_list(Vs),*/ term_variables(Vs, T), T == Vs.