逻辑谓词与Prolog 上传者：q852082 2021-04-20 14:58:49上传 PDF文件 603.7KB 热度 40次 一阶谓词逻辑下的Horn 逻辑是人工智能程序语言Prolog 的理论基础,利用Prolog 在计算机 上可实现机械化,从而使自动化求解问题和定理证明具备可行性。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
