list - Prolog - 两次列表

Question

我正在练习序言，而这一切都在杀死我。试图这样做:

twice([1,2,3],X).

我想要的输出是

X = [1,1,2,2,3,3].

这是我最近的尝试:

twice([HD|TL],[HD2|TL2]):-
    twice(TL,[HD,HD2|TL2]).

twice([],[HD|TL]).

//新的

twice([],[]).
twice([A|B],Out):- twice([A|B],[A,A|Rest],
                   twice(B,Rest).

Answer 1

从基本情况开始，

twice([], 

“没有两次是”......没有，对吧？

          []).

现在，如果那里有东西怎么办？

twice([A|B], 

然后呢？我们希望结果从 A 开始吗？ ?你打赌，

              [A,

下一步是什么？

                  ...

(请填写)。然后，剩下的就是:

                       | Rest] ):-

所以，我们继续。 Rest取自 B :

      twice(B, ...).

请也填写这个。