Prolog 查询：- 真，失败；不真实，不失败；真实，不失败

Question

我正在为考试做题，我得到了这个问题，答案如下：

• 失败
• 是
• 正确
• 没有

运行 它在 shell 中我得到了 True，但我不明白这个答案是如何获得的。 我得到了第一部分 true, fail; 但其余部分是一个谜。 我应该只看最后一部分吗true, not fail？

Answer 1

true, fail; not true, not fail; true, not fail

可以翻译成如下逻辑表达式：

(true and false) or (((not true) and (not false)) or (true and (not false)))

我们可以逐步简化...

(true and false) or ((false and true) or (true and true))

false or (false or true)

false or true

true