| 基于谓词逻辑的Prolog程序设计 |
| |
| 引用本文： | 李娜,王湘云.基于谓词逻辑的Prolog程序设计[J].西南师范大学学报(人文社会科学版),2009(6):48-52. |
| |
| 作者姓名： | 李娜 王湘云 |
| |
| 作者单位： | 南开大学哲学系,天津市300071 |
| |
| 摘 要： | 一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础，利用Prolog在计算机上可实现机械化，从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发，使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用。
|
| 关 键 词： | 谓词逻辑 Prolog Horn逻辑 SLD-归结 |
Prolog Programming Based on Predicate Logic |
| |
| LI Na,WANG Xiang-yun.Prolog Programming Based on Predicate Logic[J].Journal of Southwest China Normal University(Philosophy & Social Sciences Edition),2009(6):48-52. |
| |
| Authors: | LI Na WANG Xiang-yun |
| |
| Institution: | (Department of Philosophy, Nankai University, Tianjin 300071, China) |
| |
| Abstract: | Horn logic in first order predicate logic is the theoretical basis of artificial intelligence program language Prolog. The use of Prolog in computer can implement mechanization. This causes the problem of automatic solving and theorem proof to be viable. The paper starts with an introduction to the theoretical foundations of Horn logic and the basic principles of Prolog. Then in the next part of the paper the principles of Horn clause, SLD resolution, searching and backtracking are used to discuss how to carry out some applications of automatic inferences in computer, such as mathematical function and theorem proving. |
| |
| Keywords: | predicate logic Prolog Horn logic SLD resolution |
| 本文献已被 维普 等数据库收录！ |
