Prolog元逻辑谓词
示例
关于实例化原因的谓词称为元逻辑。例如：
var/1
ground/1
integer/1
这些谓词超出了纯单调逻辑程序的范围，因为它们破坏了像的可交换性之类的属性。
其他具有元逻辑的谓词包括：
arg/3
functor/3
(=..)/2
这些谓词原则上可以在一阶逻辑中建模，但需要无限数量的子句。
热门推荐
10 儿子立冬祝福语简短独特
11 对当兵的祝福语简短
12 侄儿高考试祝福语简短
13 伴郎红包祝福语朋友简短
14 媳妇生日简短祝福语朋友
15 公司年会祝福语简短最好
16 元旦感恩祝福语简短大全
17 红包祝福语简短10字
18 周六早晨祝福语简短