PROLOG谓词返回false，其not否定也返回false的问题解析

首先看pokemonWins(charmander, staryu)返回false的原因：

• charmander是火属性，staryu是水属性
• 你的规则里只定义了typeWins(water, fire)（水克火），没有火属性克制水属性的规则
• 所以无法证明「charmander能赢staryu」，查询自然返回false

至于not(pokemonWins(charmander, staryu))也返回false，这不符合Prolog的常规逻辑，可能的原因有三个：

• not不是标准否定运算符：多数现代Prolog里not/1是\+/1（否定即失败）的别名，但部分旧版本或小众Prolog环境中，not/1的行为可能有差异。换成标准的\+再试，比如执行查询?- \+ pokemonWins(charmander, staryu).，正常情况下应该返回true。
• 语法问题：比如not和括号之间没加空格，不过你原查询能返回false，这个可能性较低。
• Prolog环境的特殊行为：极少数情况下，某些Prolog实现对否定的处理有bug或特殊逻辑，换用SWI-Prolog这类标准环境测试就能验证。

要记住：Prolog的否定是否定即失败——它不是逻辑上的“非”，而是当「无法证明原目标为真」时，否定目标才会成立。

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