Prolog元逻辑谓词
示例
关于实例化原因的谓词称为元逻辑。例如：
var/1
ground/1
integer/1
这些谓词超出了纯单调逻辑程序的范围，因为它们破坏了像的可交换性之类的属性。
其他具有元逻辑的谓词包括：
arg/3
functor/3
(=..)/2
这些谓词原则上可以在一阶逻辑中建模，但需要无限数量的子句。
随机推荐
- python计算书页码的统计数字问题实例
- Java编程中的一些常见问题汇总
- python字典序问题实例
- python求众数问题实例
- python快速查找算法应用实例
- python人人网登录应用实例
- 编程语言Python的发展史
- python实现自动登录人人网并访问最近来访者实例
- python的re模块应用实例
- JavaScript实现在数组中查找不同顺序排列的字符串
- JavaScript拆分字符串时产生空字符的解决方案
- python网络编程实例简析
- javascript中字符串拼接详解
- Python实现的一个简单LRU cache
- php，js，css字符串截取的办法集锦
- jquery得到iframe src属性值的方法