阿尔贝托·马泰利；吉安弗兰科·罗西 无限项统一算法的逐步开发。 （英语） Zbl 0741.68031号 计算。Artif公司。智力。 209-239（1990）第3号第9条. 摘要：我们提出了一种有效的无限项统一算法，给出了该算法在不同抽象层次上的几个版本。该算法的第一个版本是已知算法的抽象非确定性公式A.马泰利和U.Montanari公司[ACM Trans.Program.Lang.Syst.4，258-282（1982；Zbl 0478.68093号)]适于处理无限项。然后，通过细化和专门化控制和数据结构，从更抽象的算法中获得该算法的更具体版本。不同版本之间的差异主要体现在描述算法的抽象级别上。最后，建议使用合适的数据结构和技术，以在传统编程语言中获得有效的实现，并详细介绍了PASCAL的实现。结果表明，文献中的不同统一算法与我们算法的不同版本密切相关。还提出了该算法的最后版本的替代公式，该公式导致了比前一版本更简单但效率较低的实现。最后，我们检查了逻辑编程语言中无限项统一的使用，显示了它对语言的实现效率和表达能力的相关性。 MSC公司： 68N17号 逻辑编程 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：统一算法 引文：Zbl 0478.68093号 PDF格式BibTeX公司 XML格式引用 \textit{A.Martelli}和\textit{G.Rossi}，计算。Artif公司。智力。9，第3号，209--239（1990；Zbl 0741.68031）