逻辑谓词与Prolog

【文件属性】：

文件名称：逻辑谓词与Prolog

文件大小：604KB

文件格式：PDF

更新时间：2013-05-03 16:55:46

一阶谓词逻辑下的Horn 逻辑是人工智能程序语言Prolog 的理论基础,利用Prolog 在计算机 上可实现机械化,从而使自动化求解问题和定理证明具备可行性。