list - 序言；查找列表项

Question

我有一个对列表，想找到具有相应第一个值的元素。

?- findconn1(9, [(9,[23,33]),(42,[21,322])], R).

所以在这种情况下，我希望结果是 (9,[23,23]) in R。

代码是

findconn(X, [], R).
findconn(X, [(H,T)|Y], R) :-
   member(X, H),
   findConn(X, Y),
   append(T, T, R).

尽管元素存在，它总是返回 false。还有没有其他方法可以返回，因为我对 Prolog 还很陌生。

Answer 1

这是使用内置 member/2 谓词的简单方法:

findconn1(X,L,(X,L1)):- member((X,L1),L).

例子:

?- findconn1(9,[(9,[23,33]),(42,[21,322])],R).
R =  (9, [23, 33]) ;
false.

使用上述解决方案请注意，如果 9 存在不止一次，您将获得所有解决方案:

?- findconn1(9,[(9,[23,33]),(42,[21,322]),(9,[1,2])],R).
R =  (9, [23, 33]) ;
R =  (9, [1, 2]).