Horn子句过程解释初探

摘要

本文主要介绍组成逻辑程序的Ｈｏｗｎ子句过程解释即可使用自顶向下方式，又可应用自底向上方式进行，并举例说明了自底向上方式比自顶向下方式的优越性。最后说明了传统程序与逻辑程序的不同，即：传统程序解题逻辑和有关信息控制方法夹杂在一起，因此要受程序控制，而逻辑程序仅关注解题方法的逻辑，不受程序的控制。