西斯库斯

SICStus Prolog已经进化了近25年。这是重新审视主要语言和设计决策的适当时间点,并尝试提炼一些经验教训。SICStus-Prolog是在多个相互冲突的Prolog方言阵营和一个刚刚起步的标准化努力的背景下构思的。我们反思这种努力和角色模型实现对我们的开发的影响。在总结了开发历史之后,我们给出了一个系统剖析的向导,展示了一些以前没有发布的设计。我们概述了我们新的交互式开发环境,并描述了一个关键应用程序的示例。最后,我们尝试确定关键的好的和不太好的设计决策。


zbMATH参考文献(参考 61篇文章 参考)

显示第1到第20个结果,共61个。
按年份排序(引用)
  1. Guidi,Ferruccio;Sacerdoti Coen,Claudio;Tassi,Enrico:在高阶约束逻辑编程中实现类型理论(2019)
  2. 2018年和32Bent-Draw逻辑验证(Zimier-Bent-on-Controlution:ZimoDz+construction)
  3. Balduccini,Marcello;Lierer,Yuliya:Constraint answer set solver\textscezcspand why integration schemas matter(2017年)
  4. Le,Tiep;Son,Tran Cao;Pontelli,Enrico;Yeoh,William:使用逻辑编程解决分布式约束优化问题(2017)
  5. Lierer,Yuliya;Susman,Benjamin:关于约束答案集规划与可满足性模理论之间的关系(2017)
  6. Rusu,Irena:图匹配问题和排序约束的NP硬度(2017)
  7. Beldiceanu,Nicolas;Carlsson,Mats;Doence,Rémi;Simonis,Helmut:使用有限传感器描述和综合结构时间序列约束(2016)
  8. Morales,JoséF.;Carro,Manuel;Hermenegildo,Manuel:Prolog方言中抽象机器的描述和优化(2016)
  9. Triska,Markus:SWI prolog的布尔约束求解器(系统描述)(2016)
  10. Behjati,Razieh;Nejati,Shiva:大型嵌入式软件系统的高效架构级配置(2015)ioport公司
  11. Letor,Arnaud;Carlsson,Mats;Beldiceanu,Nicolas:可伸缩调度约束的同步扫描算法(2015)
  12. Mesnard,Fred;Payet,Étienne;Vidal,Germanán:逻辑编程中的复合测试(2015)
  13. Tom Schrijvers;Demoen,Bart;Triska,Markus;Desoert,Benoit:\ textscTor:带可挂接析取的模块化搜索(2014)
  14. Nicolas Beldiceanu;Carlsson,Mats;Flener,Pierre;Pearson,Justin:约束编程中的矩阵、自动机和重复计算(2013)
  15. Carlsson,Mats;Mildner,Per:SICStus Prolog——前25年(2012年)
  16. 科斯塔,Vítor Santos;Rocha,Ricardo;Damas,Luís:YAP-prolog系统(2012)
  17. 费尔南多洛佩斯(2012年版)和《圣洛普设计》(2012年版)
  18. 保罗.塔鲁:BinProlog体验:延续传递Prolog和一流逻辑引擎的架构和实现选择(2012)
  19. Cheng,Kenil C.K.;Yap,Roland H.C.:基于MDD的正负表约束和某些全局约束的广义弧一致性算法(2010)
  20. Balduccini,Marcello:在答案集编程中表示约束满足问题(2009)