×

基于多标题子句的分布式逻辑编程模型的实现。 (英语) 兹比尔0772.68016

摘要:我们提出了一种新的并发逻辑编程通信模型的分布式实现。STREAM并行逻辑语言的主要新颖之处在于,进程间通信是通过多标题子句执行的,而不是通过AND进程之间共享的变量执行的。我们为模型描述了一个抽象机,它扩展了Warren抽象机。

MSC公司:

68N17号 逻辑编程
68甲15 编程语言理论
2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)

软件:

GHC公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bosco,P.G.,《分布式内存体系结构上的逻辑和函数编程》,(Warren,D.H.D.;Szeredi,P,Proc.7th Inernat.Conf.on Logic programming(1990),麻省理工学院出版社:麻省理理工学院剑桥出版社),325-339
[2] Brogi,A.,《没有共享变量的与平行论》,(Warren,D.H.D.;Szeredi,P.,Proc 7th Internat.Conf.on Logic Programming(1990),麻省理工学院出版社:麻省理学院出版社Cambridge,MA),305-324
[3] Brogi,A.,《分布式逻辑编程的分布式模型》(Techn.Rept.(1991),比萨大学)
[4] 布罗基,A。;Ciampolini,A。;Lamma,E。;Mello,P.,并行逻辑编程的分布式实现,(Proc.COPERO91(1991),IEEE Computer Society Press:IEEE Compute Socility Press Silver Spring,MD),118-122
[5] Conery,J.S.,《非共享内存密耳处理器中并行逻辑程序的绑定环境》(IEEE Symp.on logic Programming,1987),IEEE计算机学会出版社:IEEE Computer Society Press Silver Srping,MD),457-467
[6] Conery,J.S。;Kibler,D.F.,《逻辑程序中的并行性和非确定性》,新一代计算机。,3, 43-70 (1985) ·Zbl 0595.68025号
[7] 法拉斯基,M。;列维·G。;Palamidessi,C.,《同步逻辑:广义Horn子句的公理化和形式语义》,Inform。和控制,60,36-69(1984)·Zbl 0591.68038号
[8] Gregory,S.,ParLog中的并行逻辑编程,(逻辑编程国际丛书(1987),Addison-Wesley:Addison-Whesley Reading,MA)·Zbl 0592.68016号
[9] Hermenegildo,M.V。;Greene,K.J.,&-Prolog及其性能:Eploiting independent and-parellelism,(Warren,D.H.D.;Szeredi,P.,Proc.7th Internat.Conf.on Logic Programming(1990),麻省理工学院出版社:麻省理学院出版社Cambridge,MA),253-268
[10] INMOS,《Transputer参考手册》(1988年),Prentice Hall:Prentice Hall Englewood Cliff,NJ
[11] Kalè,L.W。;Ramkumar,B。;Shu,W.,《逻辑程序AND和OR并行执行的独立于内存组织的绑定环境》(Kowalski,R.A.;Bowen,K.A.,Proc.5th Inernat.Conf.on logic Programming(1988),麻省理工学院出版社:麻省理学学院出版社Cambridge,MA),1223-1240
[12] Monterio,L.,《逻辑分布式编程提案》(Campbell,J.A.,《Prolog的实现》(1984),Ellis Horwood:Ellis Holwood Chichester,英国),329-340
[13] Muthukumar,K。;Hermenegildo,M.V.,《独立and并行性语言程序自动编译时并行化的CDG、UDG和MEL方法》,(Warren,D.H.D;Szeredi,P.,Proc.7th Internat.Conf.on Logic Programming(1990),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥),221-236
[14] Nakajima,K.,KL1在Multi-PSI/V2上的分布式实现,(Levi,G.;Martelli,M.,Proc.6th Internat.Conf.on Logic Programming(1989),麻省理工学院出版社:麻省理工学院出版社,马萨诸塞州剑桥),436-451
[15] Raman,P。;Stark,E.W.,《逻辑程序的完全分布式与/或并行执行》,(Kowalski,R.A.;Bowen,K.A.,《逻辑编程第五届国际会议论文集》(1988),麻省理工学院出版社:麻省理学院出版社剑桥,MA),1188-1203
[16] 夏皮罗,E.Y.,《并发Prolog及其解释器的子集》(concurrent Prolog:Collected Papers,1(1987),麻省理工学院出版社:麻省理学院出版社剑桥),27-83
[17] Shapiro,E.Y.,并发逻辑编程语言家族,ACM Compute。调查,21412-510(1989)
[18] Szeredi,P.,《极光OR-并行Prolog系统的性能分析》,(Lusk,E.;Overbeek,R.,Proc.North-American Conf.on Logic Programming(1989),麻省理工学院出版社:麻省理学院出版社Cambridge,MA),713-732
[19] 上田,K。;Morita,M.,《扁平GHC的一种新实现技术》,(Warren,D.H.D.;Szeredi,P.(1990),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥),3-17
[20] Warren,D.H.D.,《抽象序言指令集》(SRI Tech.Note 309(1983),SRI International)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。