prolog - Prolog 中\+ 的替代品？

Question

我有一个程序，如果整数是素数，则返回 true，否则返回 false。

但是我使用了内置谓词“\+”，但事实证明我不允许使用它，我怎样才能避免不使用它呢？

is_prime(2).
is_prime(3).
is_prime(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).

任何帮助将不胜感激!

Answer 1

Prolog 中的 not/1 是通过组合 cut-fail 来实现的(所谓的 NAF - negation by failure )。

代码应该是(未经测试)

...
is_prime(P) :- P > 3, P mod 2 =\= 0, has_factor(P,3), !, fail.
is_prime(P) :- P > 3, P mod 2 =\= 0.