Prolog 过滤自定义目标失败的所有元素的列表

Question

我正在尝试编写一个谓词 filter(List, PredName, Result) 来过滤目标 PredName 的所有元素的 List code> 失败并随后返回 Result 列表。谓词 PredName/1 应在调用过程 filter/3 时定义，例如可以是:

test(N) :- N >= 0

然后可以像下面这样进行查询:

?- filter([-6,7,-1,0], test, L)
L = [7, 0];
no

Answer 1

如果您使用的是 SWI-Prolog，则可以使用 "apply" library 中的 exclude 谓词。