逻辑谓词与Prolog

【文件属性】：
文件名称：逻辑谓词与Prolog
文件大小：604KB
文件格式：PDF
更新时间：2013-05-03 16:55:46
一阶谓词逻辑下的Horn 逻辑是人工智能程序语言Prolog 的理论基础,利用Prolog 在计算机 上可实现机械化,从而使自动化求解问题和定理证明具备可行性。