叶夫根伊·丹钦;安德烈·沃伦科夫 行李、集合和树的非确定性多项式时间统一算法。 （英语） Zbl 0942.68023号 Thomas，Wolfgang（编辑），《软件科学和计算结构基础》。第二届国际会议，FOSSACS’99。1999年3月22日至28日，作为欧洲软件理论与实践联合会议（ETAPS'99）的一部分在荷兰阿姆斯特丹举行。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1578, 180-196 (1999). 概要：逻辑编程中的统一处理由术语表示的树状数据。一些应用程序，包括演绎数据库，需要处理更复杂的值，例如有限集或包（有限多集）。我们将统一扩展到包、集和树的组合域，其中包和集由类似于列表构造函数的构造函数生成。我们的统一算法是作为一种非确定性多项式时间算法提出的，该算法根据Martelli和Montanari算法的精神解决等式约束。有关整个系列，请参见[Zbl 0911.00045号]. 引用于2文件 MSC公司： 68N17号 逻辑编程 关键词：逻辑程序设计 软件：丁香花 PDF格式BibTeX公司 XML格式引用 \textit{E.Dantsin}和\textit{A.Voronkov}，莱克特。注释计算。科学。1578180-196（1999年；Zbl 0942.68023）