费兰特，Formato;杰拉，詹吉亚科莫;塞萨，玛丽亚一世。 基于相似性的统一。 （英语） Zbl 0954.68032 芬达姆。通知。 41，第4号，393-414（2000年）. 摘要：统一在逻辑程序设计中起着中心的作用。我们通过承认两个一阶表达式可以在一定程度上“相似”，而不一定完全相同，从而“软化”统一过程。据此提出了经典统一理论的一个推广。实际上，在我们的方法中，受Martelli Montanari的统一算法的启发，方程组经过一系列“声音”变换，直到找到一个可解形式，从而得到一个被证明是给定方程组最普遍的扩展统一体的代换形式。 引用于11文件 理学硕士： 68N17 逻辑程序设计 关键词：逻辑程序设计 PDF格式 BibTeX公司 XML 引用 \textti{F.Formato}等人，Fundam。通知。41，第4号，393--414（2000年；Zbl 0954.68032） 开放URL