Prolog中的内建谓词有哪些常见的

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：从列表中排除满足给定条件的元素