质数 Prolog

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).

- User01072022

---

“找到质数”但不“过滤合数”是什么意思？ - Scott Hunter

抱歉，我使用上述代码排除了偶数，但是我无法排除像15、21等复合值。希望这样说得清楚。 - User01072022

你已经做了什么来“尝试”过滤其他合数？ - Scott Hunter

我目前正在研究这个问题，并将继续进行研究。 - User01072022

检查“可被2整除”与检查其他数的可整除性有何不同？还需要检查哪些“其他数”？ - Scott Hunter

Answer 1

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

您可以在命令行上测试它，?- is_prime(13). 应该返回 true，?- is_prime(21). 应该返回 false...

然后您就完成了：

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

- CapelliC

---

搞定了@CapelliC，谢谢。一旦我正确地确定了质数的ID，我就能够使用它来完成我的代码。现在运行良好。感谢您抽出时间来帮助我。 - User01072022

我可以问一下，List是不是作为列表使用的，is_prime是否递归调用？ 我正在尝试在我的答案中同时使用列表和递归，但我无法完全理解代码中发生的事情。根据我目前的理解，我正在查找1到N之间的所有值，并将它们复制到Z中，然后通过调用我的谓词来检查它们是否为质数，并将答案复制到List中。 - User01072022

实际上，is_prime并没有递归调用，is_prime/1是between/3生成器的过滤器。而findall/3实际上完成了将多个答案聚合到其目标的困难业务，这恰好是(between(1, N, Z), is_prime(Z))的连接。这回答了你的疑问吗？ - CapelliC