×
乔治·希罗吉安尼斯；哈米什·泰勒

PAN：便携式并行Prolog：其设计、实现和性能。 （英语） Zbl 1033.68029号

新一代计算。 20，第4期，373-399（2002）.
概要：PAN是一个通用的、可移植的并行执行逻辑程序的环境。它结合了一种灵活的分布式体系结构，能够适应软件和平台的发展，并具有在普通Prolog程序中自动提取和利用and和OR并行性的功能。PAN结合了一系列编译时和运行时技术，以提供并行执行的性能优势，同时保留顺序执行语义。几个示例说明了促进以分布式方式执行逻辑程序的控件的效率，并确定了受益于PAN等分布式平台的应用程序类别。

MSC公司：

68N17号 逻辑编程

关键词：

逻辑程序设计；并行化；PVM公司

软件：

CiaoPP公司；序言；CS-预测；PVM公司；Ciao公司
PDF格式BibTeX公司 XML格式引用
\textit{G.Xirogiannis}和\textit{H.Taylor}，新一代计算。20，第4号，373--399（2002；Zbl 1033.68029）
全文： 内政部

参考文献：

[1] Ali，K.A.M.和Karlsson，R.，《MUSE中的OR-并行调度》。进程中。第8届国际逻辑程序会议。（Furukawa，K.编辑），第807-8211991页。
[2] Araujo，J.和Ruz，J.J.，《分布式内存的并行Prolog系统》，Int。逻辑程序杂志。，33，1，第49-79页，1997年·Zbl 0886.68030号 ·doi:10.1016/S0743-1066（96）00117-3
[3] Baron，U.、de Kergommeaux J.C.、Hailperin M.、Ratcliffe M.、Robert P.、Syre J.C.和Westphal H.，“并行ECRC Prolog系统PEPSys：概述和评估结果”，见Int。FCGS会议（ICOT，编辑），第841-850页。1988
[4] Beaumont，T.和Warren，D.H.D.，“在OR-并行Prolog系统中调度推测性工作”，《Proc。第十届逻辑程序国际会议。（Warren，D.S.编辑），第135-149页，1993年。
[5] Bratko，I.，序言：程序。《艺术情报》第二版，艾迪森·卫斯理，1991年。
[6] Briat，J.、Favre，M.、Geyer，C.和de Kergommeaux，J.C.，“OPERA:超级节点上的Orparallel Prolog系统”，《分布式Prolog的实现》（Kacsuk，P.和Wise M.J.编辑），John Wiley，第45-64页，1992年。
[7] 莫里斯·布鲁诺；Bart Demoen；Dmitri Boulanger；马克·德内克（Marc Denecker）；Anne Mulkers，《基于预解释的逻辑程序自由与共享分析》，128-142（1996），柏林，海德堡·Zbl 1482.68074号 ·doi:10.1007/3-540-61739-6_38
[8] Carlton，M.和Van Roy P.，《具有and并行性的分布式Prolog系统》，IEEE软件，第43-51页，1988年1月·doi:10.1109/52.1993年
[9] Clocksin W.F.，“Delphi多处理器推理机”，摘自Proc。ICSLP’92-并发和并行实现工作（Apt，K.，ed.），1992年。
[10] Costa，V.S.、Warren，D.H.D.和Yang，R.，“安道尔基础模型上的安道尔I预处理器完整Prolog”，摘自第八届国际逻辑程序会议的Proc。（Furukawa，K.编辑），第599-6131991页。
[11] Coulouris，G.F.和Dollimore，J.，《分布式系统：概念和设计》，第二版，Addison-Wesley，1994年·Zbl 0708.68006号
[12] Cunha，J.C.、Medeiros，P.D.、Carvalhosa，M.B.和Pereira，L.M.，“Delta-Prolog:一种分布式逻辑编程语言及其在分布式内存多处理器上的实现”，《分布式Prolog的实现》（Kacsuk，P.和Wise，M.J.编辑），John Wiley，第335-356页，1992年。
[13] Dutra I.，“并行逻辑编程系统中调度与或并行工作的策略”，inProc。1994年国际交响乐团。逻辑程序的。（M.Bruynoogh编辑），第289-304页，1994年。
[14] Debray，S.K.、Garcia，P.L.、Hermenegildo，M.V.和Lin N.W.，《逻辑程序的计算成本估算》，《Proc。静态分析系统。（Charlier，B.L.编辑），1994年，第255-265页，1994年。
[15] Debray，S.K.和Lin，N.，“逻辑程序的成本分析”，TOPLAS，15，5，第826-875页，1993年·数字对象标识代码：10.1145/161468.161472
[16] Debray，S.K.，Lin，N.W.和Hermenegildo，M.V.，“逻辑程序中的任务粒度分析”，《Proc》。1990年ACM进步会议。语言设计与实施，第174-188页，1990年·数字对象标识代码：10.1145/93548.93564
[17] DeGroot，D.，《限制性与平行性及副作用》，摘自Proc。国际交响乐团。逻辑程序。，第80-89页，1987年。
[18] Futo，I.，“CS-Prolog Professional的实时扩展”，ICLP’94-逻辑程序的并行和数据并行执行工作（Barklund，J.，Jayaraman，B.和Tanaka，J.编辑），1994年。
[19] Garcia，P.L.、Hermenegildo，M.V.和Debray，S.K.，“逻辑程序中基于粒度的并行控制方法”，《符号计算杂志》，22，pp.715-7341996·Zbl 0874.68043号
[20] Geist，A.、Beguelin，A.、Dongarra，J.、Jiang，W.、Manchek，R.和Sunderam，V.，《PVM用户指南和参考手册》，田纳西州ORNL，1995年·Zbl 0849.68032号
[21] Gupta，G.和Costa，V.S.，“与或并行序言中的切割和副作用”，《逻辑程序杂志》。，27, 1, 1996. ·Zbl 0874.68049号 ·doi:10.1016/S0743-1066（96）00066-0
[22] Gupta G、Hermenegildo M和Costa V.，S.，“与或并行Prolog:基于重新计算的方法”，《新一代计算》，第1期，第3-4页，第770-782页，1993年。
[23] Hermenegildo，M.V.和Greene，K.J.，“The&-Prolog System：Exploiting Independent and parallelism”，《新一代计算》，第9期，第3-4期，第233-257页，1991年·doi:10.1007/BF03037164
[24] Hermenegildo M.V.、Bueno F.、Puebla G.和Lopez P.，“使用CIAO系统预处理器进行程序分析、调试和优化”，《Proc。1999年IJCSLP（D.De Schreye编辑），第52-66页，1999年·Zbl 1076.68540号
[25] Hermenegildo，M.V.，逻辑程序限制与并行执行的抽象机器，25-39（1986），柏林，海德堡·Zbl 0598.68021号
[26] Hermenegildo M.V.和Rossi，F.，“关于逻辑程序中独立与并行的正确性和效率”，inProc。1989年N.Amer。逻辑程序确认。（Lusk，E.L.和Overbeek，R.A.编辑），第369-389页，1989年。
[27] Jacobs D.和A.Langen A.，“逻辑程序中变量混叠的准确有效逼近”，《逻辑程序杂志》。第13、2-3页，第291-314页，1992年·Zbl 0776.68026号 ·doi:10.1016/0743-1066（92）90034-Z
[28] Kacsuk，P.，“分布式存储系统上的OR并行Prolog”，LNCS，817，Springer Verlag，第543-4631994页。
[29] Kacsuk，P.和Wise，M.J.，《分布式Prolog的实现》。约翰·威利，奇切斯特，1992年。
[30] Kale，L.V.和Ramkumar，B.，“非共享内存机上并行逻辑编程的REDUCE/OR过程模型”，《分布式Prolog的实现》（Kacsuk，P.和Wise，M.J.编辑），John Wiley，第187-212页，1992年。
[31] Kaplan，S.，“逻辑程序的算法复杂性”，收录于Proc。第五届国际会议和交响乐团。逻辑程序。（Kowalski，R.和Bowen K编辑），第780-793页，1988年。
[32] King A.、Shen K.和Benoy F.，“逻辑程序的下界时间复杂度分析”，inInt。交响乐团。逻辑程序。（J.Maluszynski，编辑），第261-2761997页。
[33] King，A.和Soper P.，“控制并发逻辑程序粒度的启发式、阈值和新技术”，技术代表CSTR 92-08，电子与计算机科学系-南汉普顿大学，1992年。
[34] King A.和Soper P.，《深度分享与自由》，收录于《Int》。逻辑程序确认。1994年（P.Van Hentenryck编辑），第553-568页，1994年。
[35] Lusk，E.、Warren，D.H.D.和Haridi，S.，“极光OR-平行系统”，《新一代计算》，第7、2-3、243-271页，1990年·doi:10.1007/BF03037208
[36] Morel，E.、Briat，J.、de Kergommeaux，J.C.和Geyer，C.，“分布式存储机器上PloSys或并行Prolog的副作用”，ICSLP'96—Compulog Net Meeting（Maher，M.J.编辑），波恩，1996年。
[37] Mulkers A.、Simoens W.、Janssens G.和Bruynooghe M.，“抽象方程系统的实用性”，摘自Proc。第十二届逻辑程序国际会议。（L.Sterling编辑），第781-795页，1995年。
[38] Muthukumar K.和Hermenegildo M.V.，“独立与并行逻辑程序自动编译时并行化的CDG、UDG和MEL方法”，第七届国际逻辑程序大会。（D.H.D.Warren和P.Szeredi编辑），第221-236页，1990年。
[39] Nelson，R.D.和Squillante，M.S.，“共享内存多处理器计算机系统中任务迁移的建模与分析”。第4期《MASCOT国际工作》，计算机学会，第262-266页，1996年。
[40] Palmer，D.和Naish，L.，《NUA-Prolog，平行安道尔WAM的扩展》，摘自Proc。第八届逻辑程序国际会议。（Furukawa，K.编辑），第599-6131991页。
[41] Pontelli，E，Gupta，G.和Hermenegildo，M.V.，“&-ACE：高性能并行Prolog系统”，《Proc》。国际并行处理系统。，IEEE计算机学会，1995年。
[42] Sahlin，D.，“完整Prolog的确定性分析”，ACM Symp。《部分评估和基于语义的程序操作》，ACM出版社，1991年。
[43] Shapiro，E.，“Prolog的一种OR-并行算法及其FCP实现”，inProc。第四届逻辑程序国际会议。（Lassez，J.L.编辑），第311-337页，1987年。
[44] Shapiro，E.和Sterling，L.，《序言艺术》，麻省理工出版社，1988年·Zbl 0605.68002号
[45] Shen，Kish，《改进依赖和平行Prolog DDAS的执行》，438-452（1994），柏林，海德堡·doi:10.1007/3-540-58184-7_121
[46] Shen K.、Costa V.S.和King A.，“控制并行执行粒度的新度量”，《约束逻辑程序的并行性和实现技术》。语言。，1997
[47] Shen K.、Costa V.S.和King A.，“距离，控制并行执行粒度的新指标”，功能与逻辑程序。，1999. ·Zbl 0949.68022号
[48] Sindaha R.Y.，“极光中的分支级调度：达摩调度程序”，摘自Int。交响乐团。逻辑程序。（D.Miller编辑），第403-419页，1993年。
[49] Takeuchi，A.，“<Emphasis Type=”Italic“>并行逻辑程序”，博士论文，日本东京大学1990年。
[50] Taylor，H.，“从接口、编程和分布式处理组件组装分辨率多处理器”，《计算机语言》，第22、2-3页，第181-192页，1996年·doi:10.1016/S0096-0551（96）00013-6
[51] Tick，E.，并行逻辑程序。，麻省理工学院出版社，1991年。
[52] Tick，E.“并行逻辑编程语言的编译时粒度分析”，《新一代计算》，1990年7月2日·doi:10.1007/BF03037210
[53] Tick，E.和Zhong，X.，“编译时粒度分析算法及其性能评估”，新一代计算，1,3-41993年。
[54] Verden，A.和Glaser，H.，“一个与或并行的分布式Prolog执行器”，《分布式Prolog的实现》（Kacsuk，P.和Wise，M.J.编辑），John Wiley，第143-157页，1992年。
[55] Warren，D.H.D.，“Prolog-Abstract设计和实现的OR-并行执行的SRI模型”，《Proc。国际交响乐团。逻辑程序。（Warren，D.H.D.和Szeredi，P.编辑），第92-1021987页。
[56] Warren，D.H.D.，“具有隐式控制的扩展安道尔模型”，ICLP'90-关于并行逻辑程序的工作。（Warren，D.H.D.和Szeredi P编辑），1990年。
[57] Wegbreit，B.，“机械程序分析”，CACM，18，9，第528-539页，1975年·Zbl 0306.68008号 ·数字对象标识代码：10.1145/361002.361016
[58] Winsborough W.和Waern A.，“共享自由变量存在下的透明与并行”，第五届国际会议和研讨会。逻辑程序。（R.Kowalski和K.Bowen编辑），第749-7641988页。
[59] Wise，M.J.，“PMS-Prolog的经验”，《软件实践与经验》，第22期，第2页，第151-175页，1993年·doi:10.1002/spe.4380230203
[60] Xirogiannis，G.，“Prolog程序分布式执行的自由度和副作用的编译时分析”，inProc。第六届希腊信息学会议（Sellis，T.和Pagkalos，G.编辑），第701-7221997页。
[61] Xirogiannis，G.，“<Emphasis Type=”Italic“>通过分布式内存多处理器上的转换执行Prolog”博士论文，爱丁堡赫里奥特大学，1998年。
[62] Xirogiannis，G.，“逻辑程序分布式执行的粒度控制”，inProc。第18届分布式计算系统国际会议（Papazoglou，M.P.，Takizawa，M.，Kramer，B.和Chanson，S.eds.），第230-237页，1998年。
[63] 乔治·希罗吉安尼斯（George Xirogiannis）；Taylor，Hamish，逻辑程序分布式执行的动态任务分配和引擎分配策略，294-304（1998），柏林，海德堡·doi:10.1007/BFb0037156
[64] Yang，R。；博蒙特，T。；杜特拉，I。；科斯塔，V.S。；沃伦博士。；Warren，David S.（编辑），《基于编译器的安道尔I系统的性能》，150-166（1993），匈牙利布达佩斯
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。