Prolog中如何查找列表内满足谓词P的所有元素

针对你要从列表L = [a,b,c,d,e]中筛选出所有满足自定义谓词P判定条件元素的需求，有两种成熟可行的实现路径：

方案1：调用内置谓词（生产环境优先用） #

• 所有主流Prolog发行版（SWI-Prolog、GNU Prolog、SICStus Prolog等）都内置了include/3谓词，专门用来做列表条件筛选，调用格式为include(判定谓词, 原列表, 结果列表)，执行后会自动把原列表中所有能让判定谓词成立的元素按原顺序收集到结果列表里。
• 调用示例：

% 先自定义你的判定谓词P，这里举个例子：判定元素是小写原子
P(X) :- atom(X), char_code(X, C), C >= 97, C =< 122.

% 直接调用筛选即可
?- L = [a,b,c,d,e,1,3,"test",f], include(P, L, Result).
% 运行输出 Result = [a,b,c,d,e,f]

• 如果你的判定谓词P需要传入额外参数，比如判定元素大于指定阈值，可以用call做谓词包装，写法为include(call(P, 阈值参数), 原列表, 结果列表)。

方案2：手动递归实现（适配极简运行环境） #

如果你的Prolog环境没有内置include/3，可以自己写递归逻辑实现，核心逻辑就是逐元素遍历列表，符合条件就保留，不符合就跳过，直到遍历完整张列表：

% 递归终止条件：空列表的筛选结果必然是空列表
filter(_, [], []).
% 分支1：当前表头元素满足P，就把它加入结果列表，继续递归处理表尾
filter(P, [Head|Tail], [Head|ResTail]) :-
    call(P, Head),
    filter(P, Tail, ResTail).
% 分支2：当前表头元素不满足P，直接跳过，递归处理表尾
filter(P, [Head|Tail], ResTail) :-
    \+ call(P, Head),
    filter(P, Tail, ResTail).

• 这个自定义filter的调用方式和内置include完全一致，针对你的示例列表直接写?- L = [a,b,c,d,e], filter(P, L, Result).就能拿到符合要求的元素集合。

注意自定义筛选谓词时，两个递归分支的顺序不能调换，第二个分支的\+ call(P, Head)判定不能省略，否则运行时会出现重复解、逻辑回溯异常的问题。

注意事项 #

• 不推荐用findall(X, (member(X, L), P(X)), Result)的写法实现筛选，这种写法运行效率更低，且当列表中存在未实例化的逻辑变量时，会出现不符合预期的变量绑定问题。
• 如果你的判定谓词P包含IO操作、状态修改这类副作用逻辑，优先用手动递归的逐元素遍历写法，避免Prolog的谓词索引优化打乱执行顺序。

内容的提问来源于stack exchange，提问作者kenobi