如何在Prolog中实现不使用findall的列表所有后缀获取谓词？

要实现不依赖findall/3的suffixes/2谓词，可以通过递归遍历列表直接构建后缀列表完成，核心思路是利用列表的结构特性：一个非空列表的所有后缀，等于它自身加上其尾部的所有后缀。

替代实现代码 #

% 基础情况：空列表的后缀只有空列表
suffixes([], [[]]).
% 递归情况：非空列表的后缀 = [当前列表] + 尾部列表的所有后缀
suffixes([H|T], [[H|T]|SuffixesTail]) :-
    suffixes(T, SuffixesTail).

调用验证 #

执行查询：

suffixes([1,2,3], X).

返回结果：

X = [[1, 2, 3], [2, 3], [3], []]

逻辑说明 #

1. 基础规则处理空列表：空列表的唯一后缀就是它自身，因此suffixes([], [[]])成立。
2. 递归规则处理非空列表：对于列表[H|T]，先将它自身作为第一个后缀，再递归获取尾部T的所有后缀，将两者拼接后，就得到原列表的完整后缀列表。

这种实现完全不需要findall/3收集解，而是通过递归直接构造目标列表，符合Prolog声明式编程风格，同时满足功能需求。

内容的提问来源于stack exchange，提问作者Borja Aday Guadalupe Luis