帕洛格

并行逻辑程序设计。PARLOG是一种逻辑编程语言,几乎每个定义和查询都可以作为谓词逻辑的一个句子来阅读。它与PROLOG不同之处在于合并了并行计算模式。为了有效地实现,它区分和分离和-并行和/或并行计算。PARLOG关系分为两类:单解关系和全解关系。单个解决方案关系调用的连接可以与充当传递部分绑定的通信通道的共享变量并行计算。使用提交选择不确定性,每个调用只计算一个解决方案。所有解决方案关系调用的合取是在不进行部分绑定通信的情况下计算的,但所有解决方案都可以通过对不同求值路径的or并行探索来找到。集合构造函数提供单个解决方案关系和所有解决方案关系之间的主接口。本文是对帕洛格的教程介绍。它假设你熟悉逻辑编程。


zbMATH中的参考文献(参考 39篇文章 引用,1标准件)

显示第39至第1个结果。
按年份排序(引用)
  1. Ariola,Z.M.;Massey,B.C.;Sami,M.;Tick,E.:一种通用的中间语言及其在划分并发声明性程序中的应用。(1996年)ioport公司
  2. Rokusawa,Katsuaki;Nakase,Akihiko;Chikayama,Takashi:KLIC的分布式内存实现。(1996年)ioport公司
  3. Börger,Egon;Riccobene,Elvinia:PARLOG的正式规范(1993)
  4. 结构语义学与结构语义学的转换
  5. Deransart,Pierre;Ferrand,Gérard:PROLOG的操作形式化定义:规范方法及其应用(1992)
  6. Gabbrielli,Maurizio;Levi,Giorgio:并发约束逻辑程序的展开和不动点语义(1992)
  7. 温东灿;李文峰;方佳国:帕洛顺序编译系统设计(1992)
  8. 现代语义学模型;现代语义学模型
  9. 乔瓦内蒂,埃利奥;列维,乔治;莫伊索,科拉多;帕拉米德西,卡图西亚:核心叶:逻辑加函数语言(1991)
  10. 拉格胡:逻辑程序中的并行性(1991)
  11. Schend,B.:逻辑程序中检测共享变量依赖的方法学(1991)
  12. Falaschi,Moreno;Levi,Giorgio:并发逻辑语言中的有限失败和部分计算(1990)
  13. Jouvelot,P.;Feautrier,P.:Parallyélisation sémantique(1990年)
  14. 村上春树:具有永久过程的程序的平坦保护角子句的声明语义(1990)
  15. Bansal,Arvind;Sterling,Leon S.:转换生成和测试程序以在承诺的选择和并行下执行(1989)
  16. Steve Gregory;Foster,Ian T.;Burt,Alastair D.;Ringwood,Graem A.:在单处理器上实现PARLOG的抽象机器(1989)
  17. Ramanujam,R.:分布式定句程序的语义(1989)
  18. Bellia,M.:逻辑和函数式程序设计(1988)
  19. 克拉克,基思L.:帕洛及其应用(1988)
  20. 古川,Koichi;Okumura,Akira;村上春树,Masaki:GHC计划的展开规则(1988)