在 Prolog 的列表中插入零

Question

我需要在序言中给定列表的每个元素后面插入零，你能帮我吗，我找不到让它工作的正确方法。这是我的代码：

insert_zero([A|T]),([A|B]):- 
   insert_zero([Rest|R1]), append(0,R1,B).

答案应该给我这个

?- insert_zero([a,2,c,3], R). 
R = [a,0,2,0,c,0,3,0].

Answer 1

这可以通过一个简单的谓词来实现：

insert_zero([],[]).
insert_zero([H|T],[H,0|T1]):-
    insert_zero(T,T1).

?- insert_zero([a,2,c,3], R).
R = [a, 0, 2, 0, c, 0, 3, 0].