雅普序言

YAP-prolog系统。另一个Prolog(YAP)是一个Prolog系统,最初是在80年代中期开发的,从那时起它几乎一直在不断地开发。本文介绍了YAP系统的总体结构和设计,重点介绍了对逻辑编程界的三个重要贡献。首先,介绍了YAP中实现高效Prolog引擎的主要技术。其次,大多数逻辑编程系统都有一个相当有限的索引算法。YAP通过提供动态索引机制(just-in-time indexer)对这一领域做出了贡献。第三,YAP系统的一个重要贡献是在一个单一的逻辑编程系统中集成了or并行和表列。


zbMATH中的参考文献(参考文献45篇文章,2标准条款)

显示第1到第20个结果,共45个。
按年份排序(引用)
  1. 克罗珀,安德鲁;埃文斯,理查德;法律,马克:归纳的一般游戏玩法(2020)
  2. 安杰洛普洛斯,尼科斯;Wielemaker,一月:大数据生物分析进展(2019)
  3. 阿里亚斯,乔奎因;Carro,Manuel:使用表列CLP*评估抽象解释算法的实施(2019年)
  4. 阿瑞亚斯,米格尔;Rocha,Ricardo:用于隐式和显式并行表评价的表空间设计(2018)
  5. Warren,David S.:自上而下和自下而上的评估程序整合(2018)
  6. 帕斯,阿林;扎维鲁卡,格森;Santos Costa,Vítor:关于使用随机局部搜索技术从实例中修正一阶逻辑理论(2017)
  7. 里古兹,法布里齐奥;科塔,朱塞佩;贝洛迪,埃琳娜;Zese,Riccardo:cplint中的因果推理(2017)
  8. 安杰洛普洛斯,尼科斯;撒母耳,阿卜杜拉;Giamas,Georgios:逻辑程序设计的综合统计进展(2016)
  9. 桑托斯,Jõao;Rocha,Ricardo:关于多核集群的or并行Prolog系统的实现(2016)
  10. 范登布鲁克,亚历山大;皮罗格,马西埃;Desoert,贝诺伊特;Schrijvers,Tom:Tabling with sound answer包容(2016年)
  11. 贝洛迪,埃琳娜;Riguzzi,Fabrizio:通过搜索子句空间进行概率逻辑程序的结构学习(2015)
  12. Desoert,贝诺伊特;范多伦,马尔科;Schrijvers,Tom:《作为带分隔控制的库的表列》(2015)
  13. 迪莫罗,尼古拉;贝洛迪,埃琳娜;Riguzzi,Fabrizio:基于Bandit的概率逻辑程序的蒙特卡罗结构学习(2015)
  14. 弗拉斯科尼,保罗;科斯塔,法布里齐奥;De Raedt,卢克;德格雷夫,库尔特:kLog:一种用内核进行逻辑和关系学习的语言(2014)
  15. 曼塔德利斯,提奥弗拉斯托斯;罗查,里卡多;莫拉,保罗:表格,合理的术语,和创造最终在一起!(2014年)
  16. 施里杰弗斯,汤姆;德蒙,巴特;特里斯卡,马库斯;Desouter,Benoit:\textscTor:带可挂接分离的模块化搜索(2014)
  17. 斯威夫特,泰伦斯:支持知识表示和推理的增量表(2014)
  18. 梁先生;Kifer,Michael:大型逻辑程序中不终止的实用分析(2013)
  19. 科斯塔,维托尔桑托斯;罗查,里卡多;Damas,Luís:YAP-prolog系统(2012)
  20. 斯威夫特,泰伦斯;Warren,David S.:XSB:用表逻辑编程扩展Prolog(2012)