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

Abstract: The simulation and correspondence between Horn clause and context-free grammar make the most efficient algorithm-the Earley Algorithm about context-free grammar applied to the implementation of logical programs. However, the language used in logical programming is one of problem-oriented langnages which describe automatic problem solving. The implementation involves issues concerning both language and problem-solving system. It is impossible to let every problem to be solved get optimal answer only with a language constructed By mechanical methods Intelligence must be used to get problems solved efficiently. A problem-oriented algorithm which can be used to implement logical programs is introduced. It combines intelligence with parallel processing, top-down analysis with bottom-up analysis, width-first search with depth-first search, and data-driven with requirement-driven. Four strategies to implement logical programs with intelligence are given.