非交互式获取Prolog无重复结果：问题及内置实现问询

问题背景 #

参考Stack Overflow相关思路，使用fail谓词编写Prolog代码，目标是非交互式获取所有满足a(X)且pretty_face(X)的结果。执行命令swipl -q -s females-by-Racket.pl -g main时，出现两个问题：

• 输出存在重复结果
• 弹出“Initialization goal failed”警告

目前通过命令行将警告重定向至/dev/null，并配合sort -u去重解决，但希望在Prolog内部完成处理，且不依赖REPL交互。现提出两个问题：

1. 代码为何产生重复结果？
2. 能否仅在Prolog内部实现命令行的处理效果，且排除REPL交互方案？

1. 重复结果的原因 #

• 核心是Prolog回溯机制与fail谓词的配合逻辑：用fail强制回溯枚举所有解时，若a(X)或pretty_face(X)的子句存在多条匹配路径（比如同一事实重复定义、规则有多个分支可匹配同一变量），会导致同一X被多次输出。
• 举个实际场景：如果a(X)中重复写了a(lisa).两次，或者pretty_face(X)有两条不同规则都能推导出pretty_face(lisa)，每次回溯都会触发一次输出，最终产生重复结果。
• 若main谓词仅采用(a(X), pretty_face(X), writeln(X), fail); true.这类结构，会输出所有回溯得到的解，包括重复项，完全不做去重处理。

2. Prolog内部实现去重与消除警告的方案 #

消除重复结果 #

有两种可靠的内部去重方式：

• 利用setof/3自动去重排序：setof/3会自动对收集到的结果排序并去重，适合需要有序输出的场景，示例代码：

main :-
    setof(X, (a(X), pretty_face(X)), UniqueResults),
    maplist(writeln, UniqueResults).

若不需要排序，可先用findall/3收集所有结果，再通过sort/2去重（sort/2会同时完成排序和去重）：

main :-
    findall(X, (a(X), pretty_face(X)), AllResults),
    sort(AllResults, UniqueResults),
    maplist(writeln, UniqueResults).

• 跟踪已输出项手动去重：维护一个已输出的列表，每次输出前检查是否已存在，避免重复输出，示例代码：

main :-
    process_results([]).

process_results(Seen) :-
    (a(X), pretty_face(X), \+ member(X, Seen) ->
        writeln(X),
        process_results([X|Seen])
    ; true).

消除“Initialization goal failed”警告 #

该警告源于main执行完后，Prolog默认会尝试回溯寻找更多解，但main已无更多分支，导致初始化目标失败。解决方法是让main执行后明确终止：

• 在main末尾添加halt.，让Prolog执行完逻辑后直接退出，避免回溯尝试，示例：

main :-
    setof(X, (a(X), pretty_face(X)), UniqueResults),
    maplist(writeln, UniqueResults),
    halt.

• 或用once/1包裹核心逻辑，确保只执行一次，不触发回溯：

main :-
    once((setof(X, (a(X), pretty_face(X)), UniqueResults), maplist(writeln, UniqueResults))),
    halt.

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