假设我有两个任意列表代表3位谓词的前两项:
[anna,berta,charlotte],[charles,bob,andy]
我想匹配第三个列表中的每个项目(3位谓词的第三项),如下所示:
[[anna,andy],[berta,bob],[charlotte,charles]]
基本上,项目以顺序反向方式匹配.为了按顺序匹配项目,我设计了以下代码:
match([],[],[]).
match([A|At],[C|Ct],[[A,C]|Dt]):-match(At,Ct,Dt).
但这会给我以下内容:
match([anna,berta,charlotte],[charles,bob,andy],X).
X=[[anna,charles],[berta,bob],[charlotte,andy]]
所以我需要以某种方式反转第二个列表.到目前为止,我已将代码更改如下:
match([],[],[]).
match([A|At],[C|Ct],[[A,B]|Dt]):-reverse([C|Ct],[B|Bt]),match(At,Bt,Dt).
但是这会在每次传球时不断反转第二个列表.结果如下:
match([anna,berta,charlotte],[charles,bob,andy],X).
X=[[anna,andy],[berta,charles],[charlotte,bob]]
问题:如何仅反转第二个列表,因此实际结果与所需结果相符？或者我的方法是否存在根本缺陷？我是prolog的新手,目前因此而受阻.任何帮助,将不胜感激.