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进行举报,并提供相关证据,一经查实,将立刻删除涉嫌侵权内容。