吉姆·考克斯;肯·麦卡龙;卡罗尔·特雷特科夫 计算复杂性和约束逻辑编程语言。 （英语） Zbl 0866.68013号 安。数学。Artif公司。智力。 5，第2-4号，163-190（1992）. 摘要：我们对CLP方案的各种语言进行了复杂性分析。通过改变逻辑和内存管理，可以测量约束的作用和逻辑的作用。该分析澄清了线性/整数规划与约束逻辑规划之间的关系。我们还确定了约束的威力如何在带有约束的Datalog语言中容易导致无法确定的查询。这项工作的动机很大程度上是由于CLP语言的高效实现问题以及对低级别约束语言的相应需求。 引用于三文件 MSC公司： 68甲15 编程语言理论 65年第68季度 算法和问题复杂性分析 关键词：CLP语言 软件：炸薯条 PDF格式BibTeX公司 XML格式引用 \textit{J.Cox}等人，《数学年鉴》。Artif公司。智力。5，编号2--4163-190（1992；Zbl 0866.68013） 全文： 内政部 参考文献： [1] J.Canny，PSPACE中的一些代数和几何计算，ACM Symp。计算理论（1988）·兹伯利0668.14016 [2] A.Chandra、H.Lewis和J.Makowsky，嵌入式隐含依赖及其推理问题，ACM Symp。《计算理论》（1981），第342-354页。 [3] A.Chandra、D.Kozen和L.Stockmeyer，交替，J.ACM 28（1981）114-133·兹伯利0473.68043 ·数字对象标识代码：10.1145/322234.32243 [4] A.Colmerauer，《打开Prolog III世界：新一代Prolog承诺提供一些强大的功能》，BYTE（1987年8月）177-182。 [5] A.L.Christov和D.Y.Grigor’ev，代数闭域理论中量词消除的复杂性，符号计算杂志。(1988). [6] M.Davis、Y.Matiasevitch和J.Robinson，Proc。交响乐团。《纯粹数学：希尔伯特问题引发的数学发展》，第28卷（1976），第323-378页。 [7] M.Dincbas、P.Van Hentenryck、H.Simonis、A.Aggoun、T.Graf和F.Berthier，约束逻辑编程语言CHIP，Proc。第五代计算系统国际会议（1988年）。 [8] P.Domich，R.Kannan和L.Trotter，使用模行列式算法的Hermite范式计算，数学。操作。第12号决议（1987年）50-59·Zbl 0624.65036号 ·doi:10.1287/门12.1.50 [9] G.Gallo和B.Mishra，Wu-Ritt特征集的有效算法和边界，纽约大学-Courant Institute技术报告第478号（1989）·Zbl 0747.13019号 [10] D.Ierardi，代数闭场理论中的量词消去，ACM Symp。计算理论（1989）。 [11] J.Jaffar和J.L.Lassez，约束逻辑编程，莫纳什大学技术报告（1986年）。 [12] J.Jaffar和J.L.Lassez，《约束逻辑编程，编程语言原理》（慕尼黑，1987）。 [13] J.Jaffar和S.Michaylov，CLP系统的方法和实施，Proc。1987年逻辑编程会议，墨尔本（麻省理工学院出版社，1987年）。 [14] N.Jones和W.Laaser，确定性多项式时间的完全问题，Theor。计算。科学。3 (1977) 107-117. ·Zbl 0352.68068号 [15] P.Kanellakis、G.Kuper和P.Revesz，约束查询语言，数据库系统原理（Nashville，1990）。 [16] J.-L.Lassez和K.McAloon，广义线性约束规范形式的应用，Proc。1988年第五代计算系统大会，东京（1988），第703-710页。 [17] J.-L.Lassez和K.McAloon，广义线性约束的标准形式，将出现在J.符号计算中·兹比尔074590046 [18] J.Lloyd，《逻辑编程基础》（Springer，1984）·Zbl 0547.68005号 [19] M.J.Maher，一类委托选择程序的逻辑语义，Proc。1987年逻辑编程会议，墨尔本（麻省理工学院出版社，1987年），第858-876页。 [20] D.Maier和D.S.Warren，《逻辑计算》（Addison-Wesley，1988）·Zbl 0637.68005号 [21] V.Marek、A.Nerode和J.Remmel，非单调规则系统理论，《计算机科学中的逻辑》，90年，第79-94页。 [22] Y.Matiasevitch，可枚举集合是丢番图，Sov。数学。多克。11 (1980) 354-358. [23] K.McAloon和C.Tretkoff，2LP：逻辑编程和线性编程系统，布鲁克林学院计算机科学技术报告第1989-21号。 [24] M.S.Paterson和M.N.Wegman，《线性统一》，J.CSS 16（1978）158-167·Zbl 0371.68013号 [25] J.Renegar，用于确定实域存在理论的更快PSPACE算法，IEEE Symp。88年计算机科学基础。 [26] K.Sakai和A.Aiba，CAL:约束逻辑编程及其应用的理论背景，J.符号计算。8 (1989) 589-604. ·Zbl 0693.68009号 ·doi:10.1016/S0747-7171（89）80063-X [27] A.Schrijver，线性和整数规划理论（Wiley，1986）·Zbl 0665.90063号 [28] J.Schwartz、J.Hopcroft和M.Sharir，机器人运动规划的规划、几何和复杂性（Albex，1987）。 [29] E.Shapiro，逻辑程序的交替和计算复杂性，J.logic Progr。(1984) 19-33. ·Zbl 0579.68030号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。