查找素数

xhz

查找素数

在逻辑编程的帮助下，可以从数字列表中出素数，也可以生成素数。 下面给出的Python代码将从数字列表中找到素数，并且还会生成前10个素数。

首先导入以下软件包 -

from kanren import isvar, run, membero
from kanren.core import success, fail, goaleval, condeseq, eq, var
from sympy.ntheory.generate import prime, isprime
import itertools as it

现在，我们将定义一个名为prime_check的函数，它将根据给定的数字检查素数作为数据。

def prime_check(x):
    if isvar(x):
        return condeseq([(eq,x,p)] for p in map(prime, it.count(1)))
    else:
        return success if isprime(x) else fail

现在，声明一个变量 -

x = var()
print((set(run(0,x,(membero,x,(12,14,15,19,20,21,22,23,29,30,41,44,52,62,65,85)),
(prime_check,x)))))
print((run(10,x,prime_check(x))))

上述代码的输出如下 -

{19, 23, 29, 41}
(2, 3, 5, 7, 11, 13, 17, 19, 23, 29)

//更多请阅读：https://www.yiibai.com/ai_with_python/ai_with_python_logic_programming.html