Prolog-简单谓词-过滤对列表

Question

我有一个成对的列表（代表矩阵中的某些位置），我喜欢过滤列表以仅包含原始i上的位置。 这是我写的：

getRaw(_,[],[]).
getRaw(i,[(i,j)|LocationsTail],[(i,j)|result]) :-   
    getRaw(i,LocationsTail,result).
getRaw(i,[(k,t)|LocationsTail],result) :-
    i\=k,
    getRaw(i,LocationsTail,result).

这是我在控制台上写的：

1 ?- getRaw(1,[(1,2)],R).

false.

它出什么问题了？

Answer 1

怎么了：变量以大写字母开头，您使用的取反版本不正确。 这是一种干净的方法：

首先，在单独的谓词中定义要满足的精确条件：

fst_pair(X,(X,_)).

然后，尝试定义一个更通用的谓词，该谓词的真值作为单独的参数：

fst_pair_truth(X,(X,_),true).
fst_pair_truth(X,(Y,_),false) :-
   dif(X,Y).

请注意，否定情况并不只是对肯定情况的否定：两者都期望成对。

现在，您的定义是，也许重新考虑名称...

getRaw(I, Xs, Ys) :-
   tfilter(fst_pair_truth(I), Xs, Ys).

请参阅此答案以获取tfilter/3的定义。

Answer 2

问题是变量的小写字母。 这是固定代码：

getRaw(_,[],[]).
getRaw(Raw,[(Raw,Col)|LocationsTail],[(Raw,Col)|Result]) :- 
    getRaw(Raw,LocationsTail,Result).
getRaw(Raw,[(K,_)|LocationsTail],Result) :-
    Raw\=K,
    getRaw(Raw,LocationsTail,Result).