D.R.布鲁。;C.J.霍格。 将关联性编译成逻辑程序。 （英语） Zbl 0631.68013号 J.逻辑程序。 4, 345-359 (1987). 我们展示了如何对一类简单但重要的递归逻辑程序进行机械转换，以利用辅助关系的关联性。这通常通过引入尾部递归来提高效率。我们证明了变换的正确性以及它的一些有用的特化。最后，我们展示了如何基于差分结构对变换进行解释。 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：递归逻辑程序;效率;尾部递归;正确性;转型 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Brough}和\textit{C.J.Hogger}，J.Log。程序。345-359（1987年；兹bl 0631.68013） 全文： 内政部