以下代码中\ +的含义是什么？

Question

我正在分析一个数字是否为素数的代码我无法理解运算符＆＃34; \ +＆＃34;在prolog。（我在prolog中天真）。

is_prime(2). is_prime(3).
is_prime(P) :- integer(P), P > 3, P mod 2 =\= 0, \+ has_factor(P,3).
has_factor(N,L) :- N mod L =:= 0.
has_factor(N,L) :- L * L < N, L2 is L + 2, has_factor(N,L2).

我理解了另一件事，但却无法理解＆＃34; \ +＆＃34;在第二行。

任何人都可以解释我上面的内容吗？

Answer 1

这意味着“不可证明”。如果无法证明\+ Thing，Thing会成功。

有一个有用的dictionary of Prolog。否定部分是你所追求的。