我是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).
我不确定如何将此解决方案翻译成一个列表。关于我可以从哪里开始的任何建议都会非常有帮助!
答案 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.