A.伊泰。;马科夫斯基，J.A。 统一作为逻辑编程的复杂性度量。 （英语） Zbl 0641.68143号 J.逻辑程序。 4, 105-117 (1987). 提出了一种基于统一的逻辑程序复杂性度量方法。为了证明这是对这些程序复杂性的一种自然度量，我们将其与图灵机进行了比较：图灵机可以通过Horn子句逻辑程序进行模拟，这样图灵机的每一步都与逻辑程序执行中的一个统一步骤完全对应。这用于显示（双）Horn子句程序的计算完备性，并在逻辑编程上下文中对层次定理给出新的解释。审核人：J.-J.Ch.梅耶 引用于26文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 60年第68季度 规范和验证（程序逻辑、模型检查等） 65年第68季度 算法和问题复杂性分析 2005年第68季度 计算模型（图灵机等）（MSC2010） 关键词：图灵可计算性;复杂性度量;统一;图灵机器;Horn条款;计算完备性;等级制度;逻辑程序设计 PDF格式BibTeX公司 XML格式引用 \textit{A.Itai}和\textit{J.A.Makowsky}，J.Log。程序。4105-117（1987；Zbl 0641.68143） 全文： DOI程序