OPTYap公司

关于逻辑程序的并行和表列的应用。逻辑编程语言,如Prolog,提供了一种高级的、声明性的编程方法。逻辑编程为隐式并行提供了巨大的潜力,因此允许并行系统在不需要程序员干预的情况下减少程序的执行时间。我们相信,对于需要几个小时甚至几天才能返回答案的复杂应用程序,即使并行执行的速度有限,也可以直接转化为非常显著的生产率提高。有人认为Prolog的评估策略(SLD解析)常常限制了逻辑编程范式的潜力。因此,在过去的几年里,人们不断努力提高Prolog的声明性和表达力。表列是一种有效克服SLD对无限循环和冗余子计算敏感的有效技术。我们的研究表明,隐式或并行是一个自然适合的逻辑程序与表。为了证实这一观点,我们设计并实现了一个or并行表引擎OPTYap,并使用共享内存并行机来评估它的性能。就我们所知,OPTYap是逻辑编程系统的第一个并行表引擎实现。OPTYap建立在Yap高效的顺序Prolog引擎之上。它的执行模型是基于SLG-WAM的制表,以及环境的复制或并行。初步结果表明,在SLD解析环境下提出的并行搜索机制确实可以有效地自然地推广到表计算的并行化,并且在共享内存并行机上可以获得良好的性能。更重要的是,它强调了我们的信念:通过对逻辑程序应用or并行和表列,可以增加逻辑程序的应用范围。


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

显示结果1到13,共13个。
按年份排序(引用)

  1. 阿瑞亚斯,米格尔;Rocha,Ricardo:用于隐式和显式并行表评价的表空间设计(2018)
  2. 佐藤、太介;Meyer,Philipp:循环解释图的无限概率计算(2014)
  3. 阿瑞亚斯,米格尔;Rocha,Ricardo:走向使用公共表空间的多线程本地表(2012)
  4. 斯威夫特,泰伦斯;Warren,David S.:XSB:用表逻辑编程扩展Prolog(2012)
  5. 克鲁兹,佛罗里达州á维奥;Rocha,Ricardo:基于追溯包容的逻辑程序表式评估(2010)
  6. 马奎斯,芮;斯威夫特,特伦斯:普通项目的并行和本地评估(2008)
  7. 西蒙,卢克;班萨尔,阿杰;马莉亚,阿杰;古普塔,戈帕尔:协同逻辑编程:用共同归纳法扩展逻辑编程(2007)
  8. 罗查,里卡多;洛佩斯,里卡多;席尔瓦,费尔南多;桑托斯科斯塔,Vítor:IMPACT:Prolog的创新模型与高级控制和制表(2005)
  9. 罗查,里卡多;席尔瓦,费尔南多;科斯塔,Ví托尔桑托斯:逻辑程序的并行与表列应用(2005)
  10. 罗查,里卡多;席尔瓦,费尔南多;桑托斯科斯塔,Vítor:或并行表逻辑程序中的推测计算(2004)
  11. 罗查,里卡多;席尔瓦,费尔南多;桑托斯科斯塔,Vítor:并行表逻辑程序中的并发表访问(2004)
  12. 罗查,里卡多;席尔瓦,费尔南多·M。A、 。;科斯塔,Ví托尔桑托斯:逻辑程序的并行与表列应用(2003)ioport公司
  13. 罗查,里卡多;席尔瓦,费尔南多;科斯塔,Ví托尔桑托斯:关于一个可以利用或并行的表引擎(2001)