Prolog 比较列表的元素

Question

当给定一些输入列表时，我想建立一个新列表，它应该：

• 始终在新列表前面添加 h
• 比较输入列表的每两个连续元素，如果它们是相等，将 y 追加到新列表，如果不是，则追加 X。

例：

?- control([a,a,b,b],R).
R = [h,y,x,y].

这是我到目前为止的代码：

control([H,H|T],K,[K,0|T2]):- control([H|T],[K,0],T2).
control([H,J|T],K,[K,1|T2]):- control([J|T],[K,1],T2).
control([H],G,G).

但它无法正常工作。

?-  control([a,a,b,b],[h],L).
L = [[h], 0, [[h], 0], 1, [[[h], 0], 1], 0, [[[...]|...], 1], 0] ;
L = [[h], 0, [[h], 0], 1, [[[h], 0], 1], 1, [[[...]|...], 1], 1] ;
L = [[h], 1, [[h], 1], 1, [[[h], 1], 1], 0, [[[...]|...], 1], 0] ;
L = [[h], 1, [[h], 1], 1, [[[h], 1], 1], 1, [[[...]|...], 1], 1] ;
false.

我怎样才能使它正确？

Answer 1

这是您可以采取的另一种方法...根据if_/3和(=)/3定义list_hxys/2：

list_hxys([E|Es], [h|Xs]) :-
   list_hxys_prev(Es, Xs, E).
list_hxys_prev([], [], _).
list_hxys_prev([E|Es], [X|Xs], E0) :-
   if_(E = E0, X = y, X = x),
   list_hxys_prev(Es, Xs, E).

一些使用 SICStus Prolog 4.3.2 的示例查询：

| ?- list_hxys([a,a,b,b], Xs).         % (query given by the OP)
Xs = [h,y,x,y] ? ;                     % expected answer
no
| ?- list_hxys(As, [h,y,x,y]).         % works the "other" way around, too
As = [_A,_A,_B,_B],
prolog:dif(_B,_A) ? ;                  % answer with residual goal dif/2
no

Answer 2

让我们分解一下：

% Two elements being read are the same -> add y
control([H,H|T],[y|R]) :- control([H|T],R).
% Two elements being read are not the same -> add x
control([H1,H2|T],[x|R]) :- H1 == H2, control([H2|T],R).

在

这两个子句中，我们对除第一个检查元素之外的所有元素进行递归调用，并分别在结果中添加"x"或"y"。

现在由您来定义基本情况，但请注意，根据输入列表的元素数量是偶数还是不均匀，将需要两种基本情况：一种用于具有单个元素的列表，另一种用于空列表。