×
阿文德·班萨尔;Leon S.斯特林。

将生成和测试程序转换为在委托选择与并行模式下执行。 （英语） Zbl 0701.68017号

国际J并行程序。 18，第5号，401-446（1989）.
摘要：本文讨论使用程序转换开发纯Prolog程序的用户透明固有并行性。我们描述了一种新的范例枚举和过滤器，用于转换生成和测试程序，以便在委员会选择模型下执行，该模型扩展为基于集合枚举的多个解决方案。该范式通过流AND并行度来模拟OR并行度，该流AND并行度集成了OR并行度、AND并行度和流并行度。生成和测试程序分为三类：简单生成和测试、递归嵌入的生成和测试以及深度交织的生成和检测。进一步转换中间程序以减少结构复制和元调用。通过将不同类别的生成和测试程序的代表性示例转换为扁平并发Prolog等效程序，给出并演示了算法。统计数据表明，这些技术是有效的。

MSC公司：

68N17号 逻辑编程
68T99型 人工智能
68号01 软件理论的一般主题

关键词：

委托选择;逻辑程序设计;平行度;程序转换

软件：

GHC公司;帕洛
PDF格式BibTeX公司 XML格式引用
\textit{A.Bansal}和\textit{L.S.Sterling}，国际J并行程序。18，第5号，401--446（1989；Zbl 0701.68017）
全文： 内政部

参考文献：

[1] K.L.Clark和S.Gregory，《并行编程的关系语言》，收录于《函数编程语言和计算机体系结构》，美国计算机学会，纽约（1981年）。
[2] E.Yardeni、S.Kliger和E.Shapiro，语言FCP（？）和FCP（，？），新一代计算，7（2/3）：89-107（1990）。 ·doi:10.1007/BF03037201
[3] K.Ueda，《护角条款》，技术报告-103，ICOT，日本东京（1985年6月）·Zbl 0771.68037号
[4] K.Clark和S.Gregory，《PARLOG:逻辑中的并行编程》，英国伦敦帝国理工学院计算系第84/4号研究报告（1984年）·Zbl 0592.68016号
[5] R.Yang和H.Aiso，《P-Prolog：基于互斥关系的并行逻辑语言》，inProc。第三届逻辑编程国际会议，伦敦，第255-269页（1986年7月）。
[6] D.H.D.Warren，《Prolog-Abstract设计和实现的并行执行SRI模型》，《Proc。交响乐团。关于逻辑编程，旧金山，第92-102页（1987年9月）。
[7] E.Lusk、R.Butler、T.Disz、R.Olson、R.Overbeek、R.Stevens、D.H.D.Warren、A.Calderwood、P.Szerdi、S.Haridi、P.Brand、M.Carlsson、A.Ciepielewski和B.Hausman，《极光并行Prolog系统，新一代计算》，7（2/3）：243-271（1990）。 ·doi:10.1007/BF03037208
[8] J.S.Conery，逻辑程序中的AND并行和非确定性，新一代计算，3:43-70（1985）·Zbl 0595.68025号 ·doi:10.1007/BF03037115
[9] J.S.Conery，逻辑程序的并行执行，博士论文，Kluwer学术出版社，波士顿（1987）。
[10] D.Degroot，《限制与平行主义》，inProc。《FGCS国际会议》，日本东京，第471-478页（1984年11月）。
[11] S.Haridi和P.Brand，《ANDORRA Prolog——Prolog和Committedchoice语言的整合》，收录于《Proc。第五代计算机系统国际会议，日本东京，第745-754页（1988年12月）。
[12] L.V.Kale，逻辑程序并行评估的简化或过程模型，Proc。第四届国际逻辑编程大会，澳大利亚墨尔本，第616-632页（1987年5月）。
[13] M.J.Wise，Prolog Multiprocessors，Prentice-Hall，澳大利亚（1986年12月）。
[14] G.Lindstrom和P.Panangaden，《基于流的逻辑编程执行》，国际交响乐团。《逻辑编程》，新泽西州大西洋城，第168-176页（1984年）。
[15] J.C.Cunha、M.C.Ferreira和L.M.Pereira，三角洲Prolog编程，inProc。第六届逻辑编程国际会议，葡萄牙里斯本，第487-502页（1989年6月）。
[16] L.M.Pereira、L.Monteiro、J.Cunha和J.N.Aparicio，《Delta Prolog:带事件的分布式回溯扩展》，inProc。第三届逻辑编程国际会议，英国伦敦，第69-83页（1986年7月）。
[17] A.K.Bansal，《通过程序转换将并行性纳入逻辑程序》，俄亥俄州克利夫兰凯斯西储大学博士论文，44124（1988年7月）；也可作为大学缩微胶片国际出版物，密歇根州安阿伯市（1989年）。
[18] A.K.Bansal和L.S.Sterling，识别逻辑程序中内在并行性的抽象解释方案，（在新一代计算中，7（2/3）：273-324（1990年1月）。
[19] A.K.Bansal和L.S.Sterling，使用类型表达式对逻辑程序进行抽象解释的方案，inProc。第五代计算机系统国际会议，日本东京，第422-429页（1988年11月）。
[20] M.Bruynooghe和G.Jennsens，综合类型和模式推断的抽象解释实例，Proc。第五届逻辑编程国际会议，西雅图，第669-683页（1988年8月）。
[21] K.L.Clark、F.G.McCabe和S.Gregory，《IC-PROLOG语言特征》，inLogic Programming，K.L..Clark和S.A.Tarnlund（编辑），伦敦，学术出版社，第253-266页。
[22] L.Sterling和M.Codish，《并行的PRESSing：并发的Prolog程序》，《逻辑编程杂志》，3:75-92（1986年4月）。 ·doi:10.1016/0743-1066（86）90006-3
[23] M.Codish和E.Y.Shapiro，将OR并行编译为and并行，逻辑编程国际会议，英国伦敦，第283-297页（1986年7月）·Zbl 0595.68026号
[24] R.Trehan，《数学方程求解器中承诺选择非确定性逻辑语言并行性的比较》（PRES），报告草稿，英国爱丁堡大学人工智能应用研究所（1987）。
[25] R.Kowalski，《问题解决的逻辑》，Elsevier-North Holland（1979）·Zbl 0426.68002号
[26] L.Sterling和E.Y.Shapiro，《序言艺术》，麻省理工学院出版社（1986年）·Zbl 0605.68002号
[27] E.Y.Shapiro（编辑），Concurrent Prolog？《论文集》，麻省理工学院出版社，马萨诸塞州剑桥（1987）。
[28] E.W.Dijkstra，《保护命令、程序的不确定性和形式推导》，CACM 18（8）：453-457（1975）·Zbl 0308.68017号
[29] C.Pyo和U.S.Reddy，Prolog的多态类型推断，inProc。《北美逻辑编程会议》，俄亥俄州克利夫兰，第115-1134页（1989年10月）。
[30] J.Zobel，Prolog程序的多态类型推导，inProc。第四届国际逻辑编程大会，澳大利亚墨尔本，第817-838页（1987年5月）。
[31] J.B.Dennis和K.S.Weng，流并发计算的抽象实现，inProc。《并行处理国际会议》，第35-45页（1979年8月）。
[32] A.K.Bansal和L.S.Sterling，《顺序逻辑程序到and并行的源到源转换》，inProc。IEEE国际并行处理会议，伊利诺伊州圣查尔斯，第795-802页（1987年8月）。
[33] A.K.Bansal和L.S.Sterling，编译枚举和筛选程序以实现承诺选择和并行，《Proc。IEEE并行处理国际会议，伊利诺伊州圣查尔斯，第22-25页（1988年8月）。
[34] K.Ueda，《使穷尽搜索程序程序具有确定性》，《Proc》。第三届逻辑编程国际会议，英国伦敦，第270-282页（1986年7月）。
[35] K.Ueda，Making Exhaustive Search Programs Deterministic Proceedings II，收录于Proc。第四届逻辑编程国际会议，澳大利亚墨尔本，第356-375页（1987年5月）。
[36] H.Tamaki，地面I/O PROLOG到承诺选择语言的基于流的编译，Proc。第四届国际逻辑编程大会，澳大利亚墨尔本，第376-393页（1987年5月）。
[37] A.Okumura和Y.Matsumoto，分层流并行编程，Proc。交响乐团。关于逻辑编程，旧金山，第224-232页（1987年9月）。
[38] E.Tick，并行逻辑编程架构的性能，ICOT技术报告TR-421136页（1988年9月）。
[39] S.K.Debray、N.Lin和M.Hermenegildo，逻辑程序中的任务粒度分析，Proc。SIGPLAN-90编程语言设计与实现大会，纽约怀特普莱恩斯（1990年6月）（即将出版）。
[40] E.Tick，并行逻辑编程语言的编译时间粒度分析，Proc。第五代计算机系统国际会议，日本东京，第994-1000页（1988年12月）。
[41] K.A.M.Ali，在多序列机器上并行执行Prolog，摘自《国际并行编程杂志》，15（3）：189-214（1986年6月）·Zbl 0614.68019号
[42] J.H.Chang、A.M.Despain和D.Degreoot，《基于静态数据依赖分析的逻辑程序与并行性》，《COMPCON论文摘要》，第218-225页（1985年春）。
[43] M.Bruynooghe、G.Jennsens、A.Callebaut和B.Demoen，《抽象解释：朝向PROLOG程序的全局优化》，Proc。第四交响曲。《逻辑编程》，旧金山，第192-204页（1987年9月）。
[44] K.L.Clark和S.Gregory，逻辑程序设计的PARLOG实现注释，2:17-42（1985年4月）·Zbl 0575.68005号 ·doi:10.1016/0743-1066（85）90003-2
[45] J.Crammond，承诺选择非确定性语言的执行模型，inProc。IEEE交响乐。《逻辑编程》，犹他州盐湖城，第148-158页（1986年）。
[46] R.Hasegawa和M.Amamiya，基于数据流概念的逻辑程序并行执行，inProc。1984年FGCS国际会议，ICOT，日本东京，第507-516页（1984年11月）。
[47] C.S.Mellish，《Prolog程序的抽象解释》，收录于Proc。第三届逻辑编程国际会议，伦敦，第463-474页（1986年7月）。
[48] A.Mycroft和R.A.O'Keefe，《Prolog的多态类型系统》，《人工智能》，23:295:307（1984）。
[49] E.Y.Shapiro，PROLOG的Anor并行执行算法及其FCP实现，inProc。第四届国际逻辑编程大会，澳大利亚墨尔本，第311-337页（1987年5月）。
[50] S.Zoltan，《精确模式系统》，inProc。第四届逻辑编程国际会议，澳大利亚墨尔本，第769-787页（1987年5月）。
[51] A.Takeuchi和K.Furukawa，并行逻辑编程语言，inProc。第三届逻辑编程国际会议，英国伦敦，第242-254页（1986年7月）。
[52] D.H.D.Warren、L.M.Pereira和F.Pereila，《DECsystem-10用户指南》，偶然论文15，爱丁堡大学人工智能系（1979年）。
[53] M.J.Wise，《从一阶谓词演算推导序言》，技术报告8315，新南威尔士大学计算机科学系（1982年6月）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。