|
|||||
|
|
| Horn子句过程解释初探 | |
| 引用本文： | 李芸.Horn子句过程解释初探[J].天津教育学院学报(自然科学版),1995(4):25-27. |
| 作者姓名： | 李芸 |
| 摘 要： | 本文主要介绍组成逻辑程序的Ｈｏｗｎ子句过程解释即可使用自顶向下方式，又可应用自底向上方式进行，并举例说明了自底向上方式比自顶向下方式的优越性。最后说明了传统程序与逻辑程序的不同，即：传统程序解题逻辑和有关信息控制方法夹杂在一起，因此要受程序控制，而逻辑程序仅关注解题方法的逻辑，不受程序的控制。 |
| 关 键 词： | 逻辑程序 Horn子句 程序设计 |
| 本文献已被 维普 等数据库收录！ | |