/2：用于數(shù)值比較，判..."/>
溫馨提示×

您好，登錄后才能下訂單哦！

密碼登錄×
登錄注冊(cè)×
其他方式登錄
點(diǎn)擊 登錄注冊(cè) 即表示同意《億速云用戶服務(wù)條款》

Prolog中的內(nèi)建謂詞有哪些常見(jiàn)的

發(fā)布時(shí)間：2024-04-24 14:28:42 來(lái)源：億速云 閱讀：79 作者：小樊 欄目：編程語(yǔ)言

  1. is/2：用于算術(shù)運(yùn)算，如X is 3 + 2.

  2. =:=/2：用于數(shù)值比較，判斷兩個(gè)數(shù)值是否相等

  3. =\=/2：用于數(shù)值比較，判斷兩個(gè)數(shù)值是否不相等

  4. >/2：用于數(shù)值比較，判斷左邊的數(shù)值是否大于右邊的數(shù)值

  5. < /2：用于數(shù)值比較，判斷左邊的數(shù)值是否小于右邊的數(shù)值

  6. >=/2：用于數(shù)值比較，判斷左邊的數(shù)值是否大于等于右邊的數(shù)值

  7. =< /2：用于數(shù)值比較，判斷左邊的數(shù)值是否小于等于右邊的數(shù)值

  8. is/2：用于數(shù)值比較，判斷左邊的表達(dá)式是否等于右邊的表達(dá)式

  9. functor/3：獲取一個(gè)項(xiàng)的名字和參數(shù)個(gè)數(shù)

  10. arg/3：獲取一個(gè)項(xiàng)的指定參數(shù)

  11. assert/1：將一個(gè)事實(shí)添加到數(shù)據(jù)庫(kù)中

  12. retract/1：從數(shù)據(jù)庫(kù)中刪除一個(gè)事實(shí)

  13. fail/0：總是返回失敗

  14. true/0：總是返回成功

  15. false/0：總是返回失敗

  16. not/1：對(duì)給定目標(biāo)進(jìn)行否定的操作

  17. call/1：調(diào)用指定的目標(biāo)

  18. once/1：只調(diào)用一次給定的目標(biāo)

  19. bagof/3：根據(jù)給定的條件獲取一個(gè)列表

  20. setof/3：根據(jù)給定的條件獲取一個(gè)集合

  21. findall/3：獲取所有滿足給定條件的解的列表

  22. member/2：用于檢查某個(gè)元素是否在一個(gè)列表中

  23. append/3：用于連接兩個(gè)列表

  24. sort/2：對(duì)列表進(jìn)行排序

  25. length/2：用于獲取一個(gè)列表的長(zhǎng)度

  26. reverse/2：用于倒置列表

  27. nth/3：獲取列表的第N個(gè)元素

  28. sort/2：用于對(duì)列表進(jìn)行排序

  29. include/3：從列表中選擇滿足給定條件的元素

  30. exclude/3：從列表中排除滿足給定條件的元素

向AI問(wèn)一下細(xì)節(jié)

免責(zé)聲明：本站發(fā)布的內(nèi)容（圖片、視頻和文字）以原創(chuàng)、轉(zhuǎn)載和分享為主，文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng)，如果涉及侵權(quán)請(qǐng)聯(lián)系站長(zhǎng)郵箱：is@yisu.com進(jìn)行舉報(bào)，并提供相關(guān)證據(jù)，一經(jīng)查實(shí)，將立刻刪除涉嫌侵權(quán)內(nèi)容。

AI
助
手