Prolog列表的交错元素

时间:2016-09-24 15:24:15

标签: recursion prolog

我是Prolog的新手并且遇到过这种练习练习。问题要求定义谓词

zipper([[List1,List2]], Zippered). //this is two lists within one list.

此谓词应将List1的元素与List2的元素交错。

例如,

zipper([[1,3,5,7], [2,4,6,8]], Zippered) -> Zippered = [1,2,3,4,5,6,7,8].

zipper([[1,3,5], [2,4,6,7,8]], Zippered) -> Zippered = [1,2,3,4,5,6,7,8].

到目前为止,我有两个不同列表的解决方案:

zipper ([],[],Z).
zipper([X],[],[X]). 
zipper([],[Y],[Y]).
zipper([X|List1],[Y|List2],[X,Y|List]) :- zipper(List1,List2,List).

我不确定如何将此解决方案翻译成一个列表。关于我可以从哪里开始的任何建议都会非常有帮助!

1 个答案:

答案 0 :(得分:1)

首先,您应该将zipper ([],[],Z).更改为zipper ([],[],[]).。然后,为了使其适用于一个列表,您可以执行评论中建议的内容,或者您​​可以稍微更改它。所以我的版本是:

 zipper([],[],[]).
 zipper([X,[]],X). 
 zipper([[],Y],Y).
 zipper([[X|List1],[Y|List2]],[X,Y|List]) :- zipper([List1,List2],List).

对于你的例子:

?- zipper([[1,3,5,7], [2,4,6,8]], Zippered).
Zippered = [1, 2, 3, 4, 5, 6, 7, 8] ;
Zippered = [1, 2, 3, 4, 5, 6, 7, 8] ;
false.

?- zipper([[1,3,5],[2,4,6,7,8]],Zippered).
Zippered = [1, 2, 3, 4, 5, 6, 7, 8] ;
false.