溫馨提示×
您好，登錄后才能下訂單哦！
點擊 登錄注冊 即表示同意《億速云用戶服務條款》
您好，登錄后才能下訂單哦！
is/2：用于算術運算，如X is 3 + 2.
=:=/2：用于數值比較，判斷兩個數值是否相等
=\=/2：用于數值比較，判斷兩個數值是否不相等
>/2：用于數值比較，判斷左邊的數值是否大于右邊的數值
< /2：用于數值比較，判斷左邊的數值是否小于右邊的數值
>=/2：用于數值比較，判斷左邊的數值是否大于等于右邊的數值
=< /2：用于數值比較，判斷左邊的數值是否小于等于右邊的數值
is/2：用于數值比較，判斷左邊的表達式是否等于右邊的表達式
functor/3：獲取一個項的名字和參數個數
arg/3：獲取一個項的指定參數
assert/1：將一個事實添加到數據庫中
retract/1：從數據庫中刪除一個事實
fail/0：總是返回失敗
true/0：總是返回成功
false/0：總是返回失敗
not/1：對給定目標進行否定的操作
call/1：調用指定的目標
once/1：只調用一次給定的目標
bagof/3：根據給定的條件獲取一個列表
setof/3：根據給定的條件獲取一個集合
findall/3：獲取所有滿足給定條件的解的列表
member/2：用于檢查某個元素是否在一個列表中
append/3：用于連接兩個列表
sort/2：對列表進行排序
length/2：用于獲取一個列表的長度
reverse/2：用于倒置列表
nth/3：獲取列表的第N個元素
sort/2：用于對列表進行排序
include/3：從列表中選擇滿足給定條件的元素
exclude/3：從列表中排除滿足給定條件的元素
免責聲明：本站發布的內容（圖片、視頻和文字）以原創、轉載和分享為主，文章觀點不代表本網站立場，如果涉及侵權請聯系站長郵箱：is@yisu.com進行舉報，并提供相關證據，一經查實，將立刻刪除涉嫌侵權內容。
