SLD-归结相关硕士博士期刊学术论文

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