如何在Prolog中实现嵌套列表遍历及验证功能？

给定嵌套列表示例 X = [[1, 2, 3], [4, 5, 6], [7, 8, 0]]，需要编写Prolog代码遍历并验证该列表满足以下规则：

• 仅包含3个子列表
• 每个子列表包含3个整数
• 仅一个子列表包含0（其余子列表不能有0）
• 所有子列表中的整数均不大于8

用户当前编写的代码无法正常运行：

nested_lists([[Head|State]]) :- 
  Head >= 0,
  Head =< 8,
  nested_lists(State).

正确实现代码 #

% 主谓词：验证嵌套列表符合所有规则
valid_nested_list(List) :-
    % 规则1：外层列表有3个子列表
    length(List, 3),
    % 规则2和4：每个子列表都是长度3、元素≤8的整数
    maplist(valid_sublist, List),
    % 规则3：恰好一个子列表包含0
    count_zero_sublists(List, 1).

% 辅助谓词：验证单个子列表符合要求
valid_sublist(Sublist) :-
    length(Sublist, 3),
    maplist(valid_element, Sublist).

% 辅助谓词：验证元素是≤8的非负整数
valid_element(Element) :-
    integer(Element),
    Element >= 0,
    Element =< 8.

% 辅助谓词：统计含0的子列表数量
count_zero_sublists([], 0).
count_zero_sublists([Sublist|Rest], Count) :-
    count_zero_sublists(Rest, RestCount),
    (member(0, Sublist) -> Count is RestCount + 1 ; Count = RestCount).

代码逻辑说明 #

1. 主入口valid_nested_list/1：依次验证所有规则，先确保外层列表长度为3，再批量验证每个子列表的合法性，最后检查含0的子列表数量恰好为1。
2. valid_sublist/1：验证单个子列表长度为3，且每个元素都符合valid_element的要求。
3. valid_element/1：确保元素是整数，且取值范围在0到8之间。
4. count_zero_sublists/2：递归遍历外层列表，统计包含0的子列表数量，满足规则3的要求。

测试示例 #

• 合法输入查询：valid_nested_list([[1,2,3],[4,5,6],[7,8,0]]) → 返回true
• 两个子列表含0：valid_nested_list([[1,0,3],[4,5,6],[7,8,0]]) → 返回false
• 子列表长度不符：valid_nested_list([[1,2],[4,5,6],[7,8,0]]) → 返回false

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