SWI-PROLOG中如何一行显示所有查询结果（无需按;）

嘿，这个需求完全可以实现！默认情况下Prolog的交互式查询会每次返回一个结果，需要你按;来获取下一个，但我们可以通过内置谓词或者调整输出逻辑，把所有结果一次性输出在同一行。下面给你两种最常用的实用方案：

方案1：用findall/3收集所有结果后统一输出 #

findall/3是Prolog里用来批量收集所有满足目标结果的内置谓词，它会把匹配到的结果存进一个列表，之后我们直接输出这个列表，所有结果就会整齐地显示在一行。

假设你的数据库和兄弟关系规则是这样的：

% 示例事实：parent(父母, 孩子)
parent(mary, tom).
parent(mary, jerry).
parent(john, jerry).
parent(john, lily).
parent(anna, bob).
parent(anna, charlie).

% 兄弟关系规则：共享父母、不是同一个人，同时避免重复配对
brother(X, Y) :-
    parent(P, X),
    parent(P, Y),
    X \= Y,
    X @< Y. % 用字母顺序过滤，确保每个兄弟对只出现一次（比如不会同时返回(tom,jerry)和(jerry,tom)）

执行查询时，不要直接输入brother(X,Y).，而是用以下语句：

findall((X, Y), brother(X, Y), SiblingPairs), write(SiblingPairs).

执行后会输出类似这样的一行结果：

[(tom,jerry), (jerry,lily), (bob,charlie)]

方案2：用forall/2直接逐个输出到同一行 #

如果你不想把结果存成列表，而是直接输出每个兄弟对的自然语言描述，可以用forall/2谓词——它会遍历所有满足目标的结果，然后执行你指定的输出动作。

比如这样写查询：

forall(brother(X, Y), (write(X), write(' 是 '), write(Y), ' 的兄弟；')), nl.

执行后会输出：

tom 是 jerry 的兄弟；jerry 是 lily 的兄弟；bob 是 charlie 的兄弟；

你可以根据喜好调整输出格式，比如把分隔符换成逗号、空格或者其他样式。

小提示 #

• 兄弟规则里的X @< Y是可选但实用的：它能避免重复的兄弟对，如果你需要保留双向结果（比如同时显示A是B的兄弟和B是A的兄弟），删掉这一行即可。
• 不同Prolog环境（比如SWI-Prolog、GNU Prolog）的输出细节可能略有差异，但findall/3和forall/2是标准谓词，所有主流环境都支持。

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