留言板

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

基于谓词逻辑的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程序设计

Prolog Programming Based on Predicate Logic

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

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

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

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

English Abstract

参考文献 (0)

目录

/

返回文章
返回