内置谓词函数依赖及其推理规则

【文件属性】：

文件名称：内置谓词函数依赖及其推理规则

文件大小：506KB

文件格式：PDF

更新时间：2014-06-15 08:22:51

函数依赖，内置谓词

描述了内置谓词的用法，里面含有大量的形式化推理，不是很明白，求共同探讨。