Prolog使用列表和递归

Question

我是Prolog的新手，并试图学习它。我遇到了一个问题，我试图运行它，但我认为我犯了一个根本性的错误，我的代码无法正常运行。 我正在尝试编写一个带有两个参数的谓词。第一个参数是一个列表，第二个参数是一个列表，其成员是第一个列表的成员，重复两次。

这是我的代码：

twice([],[]).
twice([X|Taila],[X,X|Tailb]) : twice(Taila,Tailb).

例如

twice([z,4,hello],X).

应该返回

X = [z,z,4,4,hello,hello]).

Answer 1

我得到了答案

twice([], []).
twice([X|Taila], [X, X|Tailb]) :- twice(Taila, Tailb).