如何让SWI-Prolog中与门程序输出无变量缩写的完整结果？

这是个很典型的需求——SWI-Prolog默认会优先返回**最一般合一（MGU）**形式的结果，也就是用变量等同的缩写来表达通用解，而不是直接枚举所有具体的数值绑定。要得到你想要的、所有变量都明确绑定到具体值的完整结果，你可以试试这几种方法：

方法1：用findall/3收集并打印所有具体解 #

findall/3会把所有满足条件的具体解收集到列表里，再逐个打印出来，完全不会有变量缩写：

?- findall([A,B,C], and(A,B,C), Solutions), maplist(writeln, Solutions).

执行后会输出：

[1,1,1]
[1,0,0]
[0,1,0]
[0,0,0]

如果想保持A=1, B=1, C=1这种格式，也可以调整成：

?- findall((A=X, B=Y, C=Z), and(X,Y,Z), Solutions), maplist(writeln, Solutions).

输出就是你期望的格式：

A=1, B=1, C=1
A=1, B=0, C=0
A=0, B=1, C=0
A=0, B=0, C=0

方法2：用ground/1约束强制返回地面解 #

如果你不想收集成列表，而是像普通查询那样逐个输出结果，可以给查询加上ground/1约束，确保所有变量都绑定到具体值：

?- and(A,B,C), ground(A), ground(B), ground(C).

执行后会依次输出：

A = 1, B = 1, C = 1 ;
A = 1, B = 0, C = 0 ;
A = 0, B = 1, C = 0 ;
A = 0, B = 0, C = 0.

完全符合你的预期，没有任何变量等同的缩写。

方法3：用setof/3获取有序无重复的完整解 #

如果你的事实可能有重复（不过这里AND门的事实都是唯一的），可以用setof/3配合ground/1来获取有序且去重的结果：

?- setof([A,B,C], ground(and(A,B,C)), Solutions), maplist(writeln, Solutions).

输出和findall/3类似，但结果会按字典序排序。

为什么默认会出现变量缩写？ #

简单来说，Prolog的查询逻辑是寻找最通用的解，而不是直接枚举所有具体情况。比如当A=0,B=0,C=0时，Prolog可以用A=B,B=C,C=0来表达这个解——这是一个更通用的形式（意味着只要A、B、C都等于0就满足），但不是你需要的明确绑定形式。通过上面的方法，我们可以强制Prolog只返回所有变量都被具体值绑定的地面解，就能得到你想要的结果了。

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