Prolog中修复equal_bools谓词实现布尔变量绑定与逻辑判断

要解决这个问题，核心是避开依赖否定检查（\+ X=Y）的写法——这种写法只能验证已实例化的值是否不等，无法为未绑定变量生成正确结果。由于布尔值只有true和false两种可能，直接枚举所有合法的参数组合即可覆盖所有场景：

% 两个布尔值相等时，第三个参数为1
equal_bools(true, true, 1).
equal_bools(false, false, 1).

% 两个布尔值不等时，第三个参数为0
equal_bools(true, false, 0).
equal_bools(false, true, 0).

为什么这种写法有效？ #

这种实现直接列出了所有符合规则的三元组，Prolog的回溯机制会自动匹配所有可能的绑定：

• 查询equal_bools(false, Y, 0)时，会匹配最后一条规则，将Y绑定为true；
• 查询equal_bools(X, true, Z)时，会返回两组结果：X=true, Z=1和X=false, Z=0；
• 不管哪个参数是未实例化的，都能正确生成符合逻辑的绑定，完全不需要依赖内置否定或比较库。

对比原写法的问题：如果用equal_bools(X,Y,0) :- \+ X=Y，当X或Y未绑定时，Prolog无法确定两者是否不等，会直接失败，无法返回预期的变量绑定结果。而枚举所有合法组合的方式，从根源上避免了这个问题。

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