素数序言

Question

我已经编写了 Prolog 代码来（尝试）找到 0 和 N 之间的素数。但是我无法过滤掉合数。

任何建议都会很棒。

 check(N, 2) :-
     N mod 2 =:= 0.

 plist(N, List) :-
      X>1, 
      findall(Z, between(1, N, Z), L1),
      list(L1, 2, List).

 
 list([], _, []).

 list([H | Tail1], 2, [H | Tail2]) :-
      \+ divide(H, 2),
      list(Tail1, 2, Tail2).

 list([H | Tail1], 2, List) :-
      divide(H, 2),
      list(Tail1, 2, List).

Answer 1

开始编写谓词is_prime(N) :- ....没有任何优化，只是从 2 循环到 N-1 （当然，你可以停在 N 的平方根处，但现在它并不那么重要......） .

您可以在命令行上对其进行测试， ?- is_prime(13). 应该给真， ?- is_prime(21). 应该给假...

然后你做了：

plist(N, List) :-
      findall(Z, (between(1, N, Z), is_prime(Z)), List).