Prolog元逻辑谓词
示例
关于实例化原因的谓词称为元逻辑。例如：
var/1
ground/1
integer/1
这些谓词超出了纯单调逻辑程序的范围，因为它们破坏了像的可交换性之类的属性。
其他具有元逻辑的谓词包括：
arg/3
functor/3
(=..)/2
这些谓词原则上可以在一阶逻辑中建模，但需要无限数量的子句。
热门推荐
6 保研的祝福语简短
10 年轻20岁祝福语简短
11 朋友结婚祝福语信息简短
12 女孩婚礼贺卡祝福语简短
13 30段点歌简短祝福语
14 虎年春节祝福语图文简短
15 写给后妈祝福语大全简短
16 简短回复生日祝福语
17 校长送毕业祝福语简短
18 毕业立体贺卡祝福语简短