Prolog 中的匹配元组

Question

为什么 Prolog 将 (X, Xs) 与包含更多元素的元组匹配？举个例子：

test2((X, Xs)) :- write(X), nl, test2(Xs).                                    
test2((X)) :- write(X), nl.                                                   
                                                                              
test :-                                                                       
        read(W),                                                               
        test2(W). 

?- test.
|: a, b(c), d(e(f)), g.
a
b(c)
d(e(f))
g
yes

实际上这就是我想要实现的目标，但看起来很可疑。还有其他方法可以将术语连词视为 Prolog 中的列表吗？

Answer 1

使用 ,/2 运算符构建元组 term 在 PROLOG 中通常是右关联的（通常称为序列），因此您的输入a, b(c), d(e(f)), g 实际上很可能是术语 (a, (b(c), (d(e(f))), g)))。您的谓词 test2/1 打印了问题中显示的内容，这一事实证明了这一点，在第一次调用 test2/1 的第一个子句时，X 匹配 a 且 Xs 匹配 (b(c), (d(e(f)), g)) ，然后在第二次调用时 X 匹配 b(c) 且 Xs 匹配 (d(e(f)), g)，等等。

如果您确实想处理解释为连词的术语列表，您可以使用以下内容：

test2([X|Xs]) :- write(X), nl, test2(Xs).                                    
test2([]).

...on input [a, b(c), d(e( f）），g]。这里的列表结构通常与用 ,/2 构造的元组解释略有不同（因为，至少在 SWI-PROLOG 中，此类结构是处理用 ./ 构造的术语的语法糖。 2 的方式与使用 ,/2 构造序列或元组项的方式大致相同）。这样，如果您可以在代码中允许将列表术语解释为连词，您就可以获得列表术语支持的好处。另一种选择是声明并使用您自己的（可能是中缀运算符）进行连接，例如 &/2，您可以将其声明为：

:- op(500, yfx, &). % conjunction constructor

然后您可以构造您的连接作为 a & b(c) & d(e(f)) & g 并从那里适当地处理它，确切地知道 &/2 的意思 - 合取。

请参阅 op/3< 的手册页/a> 在 SWI-PROLOG 中了解更多细节 - 如果您不使用 SWI，我认为您使用的任何 PROLOG 实现中都应该有一个类似的谓词 - 如果它值得的话:-)

编辑： 要将使用 ,/2 构造的元组术语转换为列表，您可以使用如下所示的内容：

conjunct_to_list((A,B), L) :-
  !,
  conjunct_to_list(A, L0),
  conjunct_to_list(B, L1),
  append(L0, L1, L).
conjunct_to_list(A, [A]).

Answer 2

嗯... a, b(c), d(e(f)), g 表示 a 和 (b(c) 和(d(e(f)) 和 g))，列表 [1,2,3] 只是一个 [1 | [2 | [3 | []]]]。即，如果您将该连词转换为列表，您将得到相同的 test2([X|Xs]):-...，但不同之处在于连词携带有关如何组合这两个目标的信息（也可能存在析取(X; Xs)）。您还可以通过 (a, b(c)), (d(e(f)), g) 构建其他连词层次结构。

您可以使用简单的递归类型。在其他语言中，列表也是递归类型，但它们通常假装是数组（具有良好索引的大元组）。

也许你应该使用：

test2((X, Y)):- test2(X), nl, test2(Y).
test2((X; Y)). % TODO: handle disjunction
test2(X) :- write(X), nl.