在逻辑编程的帮助下，可以从数字列表中出素数，也可以生成素数。 下面给出的 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)