关于Prolog中失败否定与逻辑单调性的技术问询

1. 纯Prolog是否属于单调逻辑？ #

是的。纯Prolog基于Horn子句逻辑，而Horn子句逻辑属于单调逻辑。你观察到的“只能添加正向知识、无法直接表述负向事实”正是单调性的典型特征：向程序添加新事实或规则时，只会增加可证明为真的结论，绝不会推翻已证明的结论——不存在“新知识让旧结论失效”的情况。

2. 失败否定（negation by failure）是否是打破单调性、添加负向事实的方法？ #

没错。纯逻辑层面的Horn子句无法直接表达“何为假”，失败否定是Prolog引入的过程式扩展，它的核心逻辑是：如果系统穷尽所有可能都无法证明命题P为真，就默认not P为真。
这种机制确实打破了纯Prolog的单调性——比如一开始无法证明reptile(turtle)，所以\+ reptile(turtle)（即“乌龟不是爬行动物”）成立；但如果之后添加reptile(turtle)的事实，\+ reptile(turtle)会立刻失效。它就是用来模拟“负向事实”、处理规则例外的标准手段。

3. 不用cut的话，纯逻辑Prolog能否定义“Mary喜欢除爬行动物外的动物”？ #

如果是带失败否定扩展的主流Prolog系统，完全可以不用cut，直接用失败否定写出逻辑等价的规则：

likes(mary, X) :- animal(X), \+ reptile(X).

但如果严格限定在完全纯逻辑的Horn子句（不引入任何过程式扩展），确实无法直接表达这种“排除某类”的否定性约束——因为纯Horn子句只能表达正向蕴含关系，没有原生的否定符号。你之前写的cut+fail是过程式写法，本质是通过截断回溯路径强制排除爬行动物的情况，而失败否定的写法更接近逻辑层面的表述。

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