如何编写Prolog规则以仅读取列表中的嵌套列表？

核心问题拆解 #

1. 自定义列表判定逻辑错误
   原代码里的is_list/2把空列表[]判定为非列表，这完全不符合Prolog的列表定义——空列表本身就是合法列表。而且SWI-Prolog已经内置了is_list/1谓词，自定义版本既冗余又存在逻辑错误。

2. 递归调用参数错误
   list_foo中递归调用list_foo([Tail | _Tail2])是触发错误的关键。Tail本身是原列表的剩余元素（比如输入[A,B,C]，Tail是[B,C]），但这里把Tail作为新列表的头部元素，导致后续处理时把整个子列表当成单个元素传给print_list，从而触发类型错误——print_list期望处理单个数值，却收到了列表。

3. 输出格式不统一
   单个元素用print/1、列表元素用format/2，输出格式混乱，且print/1不会自动换行，导致内容堆叠。

修正后的代码 #

% 打印列表元素，统一格式
print_list([])      :- format('~n~n').
print_list([H | T]) :- format('~4f~80|~n', [H]),
                       print_list(T).

% 处理嵌套列表的主谓词
list_foo([]).
list_foo([Head | Tail]) :-
    ( is_list(Head) ->
        print_list(Head)
    ;
        format('~4f~80|~n', [Head])  % 统一用format输出，保持格式一致
    ),
    list_foo(Tail).  % 直接递归处理剩余元素Tail

修正说明 #

• 移除自定义的is_list/2，直接使用SWI-Prolog内置的is_list/1，准确判断项是否为列表。
• 修正递归调用：将list_foo([Tail | _Tail2])改为list_foo(Tail)，正确遍历原列表的每个元素。
• 统一输出格式：单个元素也用format/2输出，和列表元素的格式保持一致，避免输出混乱。

测试验证 #

调用list_foo([7, 8, 9, [10, 20, 30, 40], 2, 3, [100, 200, 300, 400], 4, 5, 6])，会按格式正确输出所有元素，最终返回true。

内容的提问来源于stack exchange，提问作者Ashley Ben Story