Prolog元逻辑谓词
示例
关于实例化原因的谓词称为元逻辑。例如：
var/1
ground/1
integer/1
这些谓词超出了纯单调逻辑程序的范围，因为它们破坏了像的可交换性之类的属性。
其他具有元逻辑的谓词包括：
arg/3
functor/3
(=..)/2
这些谓词原则上可以在一阶逻辑中建模，但需要无限数量的子句。
热门推荐
1 训练狗狗憋尿
2 狗狗追踪训练
3 狗狗训练要多少钱
5 深圳狗狗训练
6 训练狗狗唤回
7 狗狗叫怎么训练
8 狗狗训练班
10 狗狗社会化训练
11 狗狗叫回训练
12 广州狗狗训练学校
13 狗狗训练躺下
14 狗狗随行训练
15 训练狗狗巡回
16 狗狗要怎么训练
17 狗狗喂食训练
18 训练狗狗躺下