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

【文件属性】：
文件名称：内置谓词函数依赖及其推理规则
文件大小：506KB
文件格式：PDF
更新时间：2014-06-15 08:22:51
函数依赖，内置谓词 描述了内置谓词的用法，里面含有大量的形式化推理，不是很明白，求共同探讨。