prolog-two列表，对相应元素进行操作

Question

我擅长JAVA，现在我正在学习Prolog，它非常困难，我需要一些帮助......谢谢。 ABs的每个元素是A-B形式的项，其中A是As的对应元素，B是Bs的对应元素。

zip(As,Bs,ABs)：

一些例子：

zip([1,2,3,4],[a,b,c,d],L). 
    L=[1-a,2-b,3-c,4-d]. 

zip(X,Y,[1-a,2-b,3-c]). 
    X=[1,2,3],Y=[a,b,c] 
zip([1,2,3,4],[a,b,c],L). 
fail. 

有人可以帮助我。谢谢你..

我的实现：

zip(As,Bs,ABs) :- 
    append(X,XS,As), 
    append(Y,YS,Bs), 

这是我已经失去了done..im ..

Answer 1

这不是很有效地使用附加/ 3。你可以简单地写类似：

zip([],[],[]). 
zip([H|T],[H1|T1],[H-H1|T2]):-zip(T,T1,T2). 

一些例子：

?- zip([1,2,3,4],[a,b,c,d],L). 
L = [1-a, 2-b, 3-c, 4-d]. 

?- zip(X,Y,[1-a,2-b,3-c]). 
X = [1, 2, 3], 
Y = [a, b, c]. 

?- zip([1,2,3,4],[a,b,c],L). 
false.