Prolog列表打印函数如何添加终止条件以消除输出末尾的false？

嘿，刚学Prolog的时候我也踩过这个坑！你完全猜对了，问题就出在缺少递归终止条件上。

为什么会出现false？ #

你的代码只有处理非空列表的递归子句：

printList([Head|Tail]) :- write(Head), nl, printList(Tail).

当递归到最后，列表被拆分成空列表[]时，没有任何子句能匹配这个目标，Prolog就会返回false表示无法满足该目标——虽然前面的打印动作已经完成，但程序最终的结果是失败的。

怎么添加终止条件？ #

只需要加一个匹配空列表的子句，让递归到空列表时成功结束：

% 终止子句：空列表无需处理，直接成功
printList([]).
% 递归处理非空列表
printList([Head|Tail]) :- write(Head), nl, printList(Tail).

这个子句的作用很简单：当printList的参数是空列表时，它直接成功（没有任何动作），递归链到此终止，整个目标最终返回true，不会再出现末尾的false。

测试效果 #

现在调用printList([[1,2],[3,4],[5,6]])，输出会是：

[1,2]
[3,4]
[5,6]
true

完美解决了末尾false的问题！

额外小提示 #

如果你连最后的true都不想看到，可以在调用时加上截断符!（注意截断符的使用场景，新手先理解终止条件更重要）：

printList([[1,2],[3,4],[5,6]]), !.

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