序言列表合併問題？

Question

如何合併兩個這樣的列表？

[a,b,c] 

[1,2,3] 

，我想使這個名單

[a=1,b=2,c=3]. 

我怎樣才能做到這一點？ （我使用swi序言）

Thanks for your answers. I have a question about it. I write 

start:- consult('tennis.pl'), 
      see('tennis.pl'), 
      repeat, 
      read(A), 
      A=..List, 
      (A\=end_of_file-> 
      (A\=end_of_file,member('attributes',List)-> 
      delete(List,'attributes',NewList2);true), 
      (A\=end_of_file,member('data',List)-> 
      delete(List,'data',NewList);true), 
      merge(NewList2,NewList,Try), 
      write(Try),nl;true), 
      A=end_of_file,!, 

      seen. 


[outlook=_G40,temperature=_G49,humidity=_G58,wind=_G67,play_tennis=_G76] 
[_G40=sunny,_G49=hot,_G58=high,_G67=weak,_G76=no] 
[_G40=sunny,_G49=hot,_G58=high,_G67=strong,_G76=no] 
[_G40=overcast,_G49=hot,_G58=high,_G67=weak,_G76=yes] 
[_G40=rain,_G49=mild,_G58=high,_G67=weak,_G76=yes] 
[_G40=rain,_G49=cool,_G58=normal,_G67=weak,_G76=yes] 
[_G40=rain,_G49=cool,_G58=normal,_G67=strong,_G76=no] 
[_G40=overcast,_G49=cool,_G58=normal,_G67=strong,_G76=yes] 
[_G40=sunny,_G49=mild,_G58=high,_G67=weak,_G76=no] 
[_G40=sunny,_G49=cool,_G58=normal,_G67=weak,_G76=yes] 
[_G40=rain,_G49=mild,_G58=normal,_G67=weak,_G76=yes] 
[_G40=sunny,_G49=mild,_G58=normal,_G67=strong,_G76=yes] 
[_G40=overcast,_G49=mild,_G58=high,_G67=strong,_G76=yes] 
[_G40=overcast,_G49=hot,_G58=normal,_G67=weak,_G76=yes] 
[_G40=rain,_G49=mild,_G58=high,_G67=strong,_G76=no] 

但我有這個結果。爲什麼？你有什麼想法嗎？

Answer 1

謂詞可能看起來像：

merge([], [], []). 
    merge([X|Xs], [Y|Ys], [X=Y|Zs]) :- merge(Xs, Ys, Zs). 

你開始與空單的基本情況，並通過兩個列表長度相同的情況下導入。

Answer 2

沒有問題meta-predicatemaplist/4連同 lambda expressions：

?- use_module(library(lambda)). 
true. 

?- maplist(\K^V^(K=V)^true, [a,b,c], [1,2,3], KVs). 
KVs = [a=1, b=2, c=3].