日韩无码专区无码一级三级片|91人人爱网站中日韩无码电影|厨房大战丰满熟妇|AV高清无码在线免费观看|另类AV日韩少妇熟女|中文日本大黄一级黄色片|色情在线视频免费|亚洲成人特黄a片|黄片wwwav色图欧美|欧亚乱色一区二区三区

RELATEED CONSULTING
相關(guān)咨詢
選擇下列產(chǎn)品馬上在線溝通
服務(wù)時(shí)間:8:30-17:00
你可能遇到了下面的問題
關(guān)閉右側(cè)工具欄

新聞中心

這里有您想知道的互聯(lián)網(wǎng)營(yíng)銷解決方案
創(chuàng)新互聯(lián)AI教程:AI人工智能查找素?cái)?shù)

在邏輯編程的幫助下,可以從數(shù)字列表中出素?cái)?shù),也可以生成素?cái)?shù)。 下面給出的 Python 代碼將從數(shù)字列表中找到素?cái)?shù),并且還會(huì)生成前 10 個(gè)素?cái)?shù)。

創(chuàng)新互聯(lián)建站服務(wù)項(xiàng)目包括保亭黎族網(wǎng)站建設(shè)、保亭黎族網(wǎng)站制作、保亭黎族網(wǎng)頁(yè)制作以及保亭黎族網(wǎng)絡(luò)營(yíng)銷策劃等。多年來,我們專注于互聯(lián)網(wǎng)行業(yè),利用自身積累的技術(shù)優(yōu)勢(shì)、行業(yè)經(jīng)驗(yàn)、深度合作伙伴關(guān)系等,向廣大中小型企業(yè)、政府機(jī)構(gòu)等提供互聯(lián)網(wǎng)行業(yè)的解決方案,保亭黎族網(wǎng)站推廣取得了明顯的社會(huì)效益與經(jīng)濟(jì)效益。目前,我們服務(wù)的客戶以成都為中心已經(jīng)輻射到保亭黎族省份的部分城市,未來相信會(huì)繼續(xù)擴(kuò)大服務(wù)區(qū)域并繼續(xù)獲得客戶的支持與信任!

首先導(dǎo)入以下軟件包 -

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

現(xiàn)在,我們將定義一個(gè)名為 prime_check 的函數(shù),它將根據(jù)給定的數(shù)字檢查素?cái)?shù)作為數(shù)據(jù)。

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

現(xiàn)在,聲明一個(gè)變量 -

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)

當(dāng)前名稱:創(chuàng)新互聯(lián)AI教程:AI人工智能查找素?cái)?shù)
地址分享:http://m.5511xx.com/article/djpeded.html