基于谓词逻辑的Prolog程序设计

李娜,王湘云

西南大学学报（社会科学版）

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
	姓名不能为空！
邮箱
	邮箱不能为空！非法的邮箱地址。
手机号码
	电话不能为空！请输入有效手机号!
标题
	标题不能为空！
留言内容
	内容不能为空！
验证码
	验证码不能为空！验证码错误！

基于谓词逻辑的Prolog程序设计

李娜,王湘云. 基于谓词逻辑的Prolog程序设计[J]. 西南大学学报（社会科学版）, 2009, 35(6).

引用本文:

李娜,王湘云. 基于谓词逻辑的Prolog程序设计[J]. 西南大学学报（社会科学版）, 2009, 35(6).

Prolog Programming Based on Predicate Logic[J]. Journal of Southwest University Social Science Edition, 2009, 35(6).

Citation:

Prolog Programming Based on Predicate Logic[J]. Journal of Southwest University Social Science Edition, 2009, 35(6).

基于谓词逻辑的Prolog程序设计

李娜,王湘云

南开大学,哲学系,天津市,300071

Prolog Programming Based on Predicate Logic

摘要: 一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性.本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用.
- 谓词逻辑，Prolog，Horn逻辑，SLD-归结

计量

文章访问数: 535
HTML全文浏览数: 235
PDF下载数: 1
施引文献: 0

基于谓词逻辑的Prolog程序设计

李娜,王湘云

南开大学,哲学系,天津市,300071

关键词:

谓词逻辑，Prolog，Horn逻辑，SLD-归结

摘要: 一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性.本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用.