如何实现Prolog谓词：查找坐标元素并返回对应子列表前缀

需求说明 #

我们需要实现一个Prolog谓词checklist(X, ListOfLists, ReturnList)，它的核心功能是：

• 接收带坐标的元素X，以及由子列表组成的主列表ListOfLists
• 检查X是否存在于某个子列表中
• 若存在，返回ReturnList——即该子列表从起始位置到X所在位置的前缀列表（包含X本身）

比如你给出的示例查询：

?- checklist((3,4), [[(1,3), (1,2), (1,1)], [(1,4), (2,4), (3,4), (4,4)]], ReturnList).

预期返回结果：

ReturnList = [(1,4), (2,4), (3,4)]

完整实现代码 #

我来补全你写了一部分的get_list辅助谓词，再实现主谓词checklist：

% 辅助谓词：从子列表中提取到目标元素X为止的前缀
get_list([X|_], X, [X]). % 找到目标元素，返回仅包含它的列表（递归终止条件）
get_list([H|T], X, [H|Result]) :-
    H \= X, % 当前元素不是目标，继续递归处理剩余部分
    get_list(T, X, Result).

% 主谓词：遍历主列表，找到包含X的子列表并生成前缀
checklist(X, [SubList|_], ReturnList) :-
    member(X, SubList), % 检查当前子列表是否包含目标元素X
    get_list(SubList, X, ReturnList). % 生成对应前缀
checklist(X, [_|Rest], ReturnList) :-
    checklist(X, Rest, ReturnList). % 当前子列表无X，递归检查剩余子列表

代码逻辑解释 #

1. get_list辅助谓词：

   • 第一个子句：当子列表的首个元素就是目标X时，直接返回[X]，结束递归
   • 第二个子句：如果当前元素H不是X，就把H加入结果列表的头部，再递归处理子列表的剩余部分T，最终拼接出完整的前缀列表

2. checklist主谓词：

   • 第一个子句：先通过member/2判断当前子列表是否包含X，如果包含就调用get_list生成前缀并返回
   • 第二个子句：如果当前子列表不包含X，就递归处理主列表的剩余部分，继续寻找符合条件的子列表

示例验证 #

运行你提供的查询语句：

?- checklist((3,4), [[(1,3), (1,2), (1,1)], [(1,4), (2,4), (3,4), (4,4)]], ReturnList).

会得到预期的结果：

ReturnList = [(1,4), (2,4), (3,4)] ;
false.

这里的false是Prolog回溯后确认没有其他符合条件的子列表，属于正常输出。

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