列出序言中的连续对

Question

我想从给定列表中列出连续对的列表，例如
给定[1,2,3]它返回X=[[1,2],[2,3]]
我对递归有点困惑。
我尝试使用上面的代码，它返回给我一对（一次一对），但附加项不起作用。

pair_list([X,Y|_], [X,Y]):- 
  append([[X,Y]],[,],L),
  write(L). 

pair_list([_|Tail], XY):- 
  pair_list(Tail,XY).

Answer 1

学习递归是必不可少的，所以请跟达米亚诺达米亚诺的答案一起去。 然后考虑基本的“所有解决方案”工具，例如findall / 3：

?- L=[1,2,3],findall([X,Y],append(_,[X,Y|_],L),Ps).
L = [1, 2, 3],
Ps = [[1, 2], [2, 3]].

Answer 2

首先，让我们考虑以下几点：

• 对的清晰表示很重要。

  • 不要使用“逗号列表” [A,B]或“逗号对” (A,B)

  • 而是使用AB形式的复合词。

• 坚持Prolog的逻辑纯子集，以实现最大的代码多功能性。

一个简单的实现是这样的：

list_adjitems([], []).
list_adjitems([E|Es], Xs) :-
   list_adjitems_previous(Es, Xs, E).

list_adjitems_previous([], [], _).                    % auxiliary predicate
list_adjitems_previous([E1|Es], [E0-E1|Xs], E0) :-
   list_adjitems_previous(Es, Xs, E1).

一些示例查询：

?- list_adjitems([], Xs).
Xs = [].

?- list_adjitems([a], Xs).
Xs = [].

?- list_adjitems([a,b,c], Xs).
Xs = [a-b,b-c].

这也可以在“反向”方向上工作吗？ （提示：是的。）

?- list_adjitems(Es, []).
   Es = []
;  Es = [A].

?- list_adjitems(Es, [x-y,y-z,z-u,u-v]).
Es = [x,y,z,u,v].

最后，我们不要忘记最一般的查询 ：

?- list_adjitems(Es, Xs).
   Es = []             , Xs = []
;  Es = [A]            , Xs = []
;  Es = [A,B]          , Xs = [A-B]
;  Es = [A,B,C]        , Xs = [A-B,B-C]
;  Es = [A,B,C,D]      , Xs = [A-B,B-C,C-D]
;  Es = [A,B,C,D,E]    , Xs = [A-B,B-C,C-D,D-E]
;  Es = [A,B,C,D,E,F]  , Xs = [A-B,B-C,C-D,D-E,E-F]
;  Es = [A,B,C,D,E,F,G], Xs = [A-B,B-C,C-D,D-E,E-F,F-G]
…                                                     % ... and so on ...

发挥应有的作用™。

作业：使用其他答案中提出的代码重新运行以上查询！

Answer 3

只需写：

pair([_],[]).
pair([A,B|T],[[A,B]|T1]):-
    pair([B|T],T1).

查询：

?-pair([1,2,3],L).
L = [[1, 2], [2, 3]]

您不需要使用append/3 。