Note, however, that Prolog uses the so-called negation as failure: when the interpreter has to evaluate the atom ¬ F {\displaystyle \neg F} , it tries to prove that F is true, and conclude that ¬ F {\displaystyle \neg F} is true if it fails.
但是要注意，Prolog使用了所谓的否定为失败：当解释器必须求值原子 ¬ F {\displaystyle \neg F} 的时候，它尝试证明 F {\displaystyle F} 是真，并如果这失败了则结论为 ¬ F {\displaystyle \neg F} 是真。