佐姆博里（Zsolt Zombori）;佩特尔·塞雷迪 循环消除，一种用于PTTP相关定理证明的合理优化技术。 （英语） Zbl 1265.68214号 《网络学报》。 20，第3期，441-458（2012）. 摘要：我们提出了循环消除，这是一种重要的优化技术，用于基于Prolog公司技术，例如Prolog公司技术定理证明器或DLog描述逻辑推理器。虽然逻辑程序有几种循环检查技术，但据我们所知，我们是第一个检查循环检查与祖先解析之间的交互的人。我们的主要贡献是严格证明了循环消除的可靠性。 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：分辨率;定理证明;PTTP公司;回路消除 软件：Prolog公司 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zombori}和\textit{P.Szeredi}，《网络学报》。20，第3号，441--458（2012；Zbl 1265.68214） 全文： 内政部