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

在Prolog中，常见的内建谓词包括：

1. assert/1：在数据库中插入一个事实或规则
2. retract/1：从数据库中移除一个事实或规则
3. consult/1：载入一个Prolog程序文件
4. abolish/1：移除一个谓词的所有规则
5. !/0：剪枝操作符，用于控制递归的执行
6. =/2：相等判断
7. is/2：算术运算
8. assertz/1：在数据库的头部插入一个事实或规则
9. asserta/1：在数据库的尾部插入一个事实或规则
10. call/1：调用一个谓词
11. findall/3：查找满足条件的所有解

以上仅是一些常见的内建谓词，Prolog还有许多其他内建谓词可供使用。