帕洛格

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


zbMATH中的参考文献(参考文献39条,1标准件)

显示第1到第20个结果,共39个。
按年份排序(引用)
  1. 阿罗拉,Z.M。;不列颠哥伦比亚省梅西市。;萨米语,M。;一种通用的中间语言及其在划分并发声明性程序中的应用。(1996年)ioport公司
  2. 罗库萨瓦、胜木;明子中濑;千山,高石:KLIC的分布式内存实现。(1996年)ioport公司
  3. 博格,伊贡;米可宾,埃尔维尼亚:帕洛格的正式规范(1993)
  4. 科拉迪尼,安德里亚;Montanari,Ugo:结构化转换系统的代数语义及其在逻辑程序中的应用(1992)
  5. 德兰萨特,皮埃尔;Ferrand,Gérard:PROLOG的操作形式化定义:规范方法及其应用(1992)
  6. 加布里埃利,毛里齐奥;Levi,Giorgio:并发约束逻辑程序的展开和不动点语义(1992)
  7. 文,东昌;李文峰;方佳国:PARLOG顺序编译系统设计(1992)
  8. 德波尔,F.S。;拉滕,J.J.M.M。;角,J.N。;Palamidessi,C.:并发逻辑语言的语义模型(1991)
  9. 乔瓦内蒂,埃利奥;列维,乔治;莫伊索,科拉多;Palamidessi,Catuscia:内核叶:逻辑加函数语言(1991)
  10. 拉格胡:逻辑程序中的并行性(1991)
  11. Schend,B.:逻辑程序中检测共享变量依赖的方法学(1991)
  12. 法拉希,莫雷诺;Levi,Giorgio:并发逻辑语言中的有限失败和部分计算(1990)
  13. 乔维洛特,P。;Feautrier,P.:Parallélisation sémantique(1990年)
  14. 村上春树:具有永久过程的程序的平坦保护角子句的声明语义(1990)
  15. 班萨尔,阿文德;Sterling,Leon S.:转换生成和测试程序以在承诺的选择和并行下执行(1989)
  16. 格雷戈里,史蒂夫;福斯特,伊恩·T。;伯特,阿拉斯泰尔D。;Ringwood,Graem A:在单处理器上实现PARLOG的抽象机器(1989)
  17. Ramanujam,R.:分布式定句程序的语义(1989)
  18. Bellia,M.:逻辑和函数式程序设计(1988)
  19. 克拉克,基思L.:帕洛及其应用(1988)
  20. 古川,Koichi;秋村,秋村;村上春树:GHC项目的规则展开(1988)