prolog - 删除Prolog中的倍数

Question

我正在尝试进行此练习，我应该构建一个序言程序，当给定一个数字和一个列表时，该序言程序将返回一个不包含数字倍数的列表。现在我做了这个:

rm([],[]).  
rm(N, [Head|Tail], Result):-  
    Head mod N =:= 0,  
    rm(N, Tail, Result).  
rm(N, [Head|Tail], [Head|Result]):-  
    Head mod N =\= 0,  
    rm(N, Tail, Result).  

它行不通，我也不知道为什么。
我希望有人可以向我解释为什么这行不通。
谢谢

Answer 1

简短答案:第一个子句只有两个参数。

您对removeMultiples/3进行递归调用:每次调用相同的谓词removeMultiples/3。这样，您可以枚举两个列表。但是最终您将到达列表的末尾。

但是，第一个子句是关于removeMultiples/2谓词的。因此，您需要添加第三个参数:

removeMultiples(_,[],[]).  % three arguments
removeMultiples(N, [Head|Tail], Result):-  
    Head mod N =:= 0,  
    removeMultiples(N, Tail, Result).  
removeMultiples(N, [Head|Tail], [Head|Result]):-  
    Head mod N =\= 0,  
    removeMultiples(N, Tail, Result).

现在它产生:

?- removeMultiples(3, [1,2,3,4,6,7,8,9,15,3,1], Result).
Result = [1, 2, 4, 7, 8, 1] ;
false.