如注释部分所述,您需要检查列表中的两对是否具有相同的X坐标。因此,首先想到的解决方案可能是这样的(添加了一些writeln来破坏价值观):
solution1(L):-
member([X,Y1],L),
member([X,Y2],L),
writeln([X,Y1]),
writeln([X,Y2]).
预设的
member/2
检查作为第二个参数传递的列表中是否存在第一个元素。运行查询
?- solution1([[1,1],[1,3],[2,3],[3,3]]).
我们得到以下结果:
?- solution1([[1,1],[1,3],[2,3],[3,3]]).
[1, 1]
[1, 1]
true
[1, 1]
[1, 3]
true
[1, 3]
[1, 1]
true
[1, 3]
[1, 3]
true
[2, 3]
[2, 3]
true
[3, 3]
[3, 3]
true
嗯,很多解决方案,不是我们想要的。问题之一是,用这种方式写,
成员/ 2
检查整个列表,以便在每种情况下都获得解决方案,因为通过第一个调用选择的每对
memeber/2
在列表中。用第二
成员/ 2
我们可以选择相同的元素,这样谓词就成功了。
为了避免这种行为,我们可以编写如下谓词:
solution2([[A,_]|T]):-
member([A,_],T).
solution2([[_,_]|T]):-
solution2(T).
使用第二个谓词,我们检查所选元素是否存在于列表的其余部分中,因此我们从搜索中排除元素本身,只得到一个解决方案。
?- solution2([[1,1],[1,3],[2,3],[3,3]]).
true
false
注意,这是一个非常简单的实现,也许有更好的方法来解决这个问题。
