逻辑程序的实现策略(一)

Horn子句和上下文无关方法的相似性、对应性,使上下文无关文法的最有效算法——Earley算法的思想,应用于逻辑程序的实现。然而逻辑程序毕竟是一种面向问题的逻辑语言,是问题自动求解描述语言,因此它的实现算法兼有语言和问题求解系统两方面,这样的有智能特征的语言只用机械方法不可能对每个问题都达到最佳,只有用智能才能使之高效和完备。 本文给出了逻辑程序的一个实现算法。它是面向问题的。它是智能和并行结合,自顶向下分析和自底向上分析结合,宽度搜索和深度优先结合,数据驱动和需要驱动结合的算法。作者在智能实现逻辑程序方面提出了面向问题的四个策略,指出了要把智能引入逻辑程序的方向。