SWI序言

SWI序言。SWI-Prolog既不是一个商业Prolog系统,也不是一个纯学术性的企业,而是越来越成为一个社区项目。核心系统已经形成了目前的形式,同时被用作构建研究原型的工具,主要用于知识密集型和交互式系统。社区贡献已经添加了几个接口和约束(CLP)库。商业参与已经创建了最初的垃圾收集器,添加了几个接口和两个开发工具:PlDoc(一个有文化的编程文档系统)和PlUnit(一个单元测试环境)。在本文中,我们将SWI-Prolog作为一个集成工具,支持Prolog社区中开发的各种想法,并充当外来资源之间的粘合剂。本文本身就是SWI-Prolog技术文章之间的粘合剂,提供了在较长时间内应用它们的上下文和经验。


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

显示结果1到20,共37个。
按年份排序(引用)
  1. 克罗珀,安德鲁;羊肚菌,罗夫;马格尔顿,斯蒂芬:学习高阶逻辑程序(2020)
  2. 法洛米尔,佐伊;皮希,阿尔伯特;科斯塔,维森特:关于定性形状构成的空间推理。构成定性长度和角度(2020年)
  3. 阿里亚斯,乔克ín;Carro,Manuel:使用表列CLP*评估抽象解释算法的实施(2019年)
  4. 贝根蒂,费德里科;Monica,Stefania:有限域上高次多项式约束推理的细分算法(2019)
  5. 克罗珀,安德鲁;马格尔顿,斯蒂芬H.:学习有效逻辑程序(2019)
  6. 迪弗兰科,安东尼:信息增益计算在\textscFifthsystem(2019)
  7. 吉迪,费鲁乔;萨尔多蒂·科恩,克劳迪奥;Tassi,Enrico:在高阶约束逻辑编程中实现类型理论(2019)
  8. 乔安娜M。F。da Trindade,Konstantinos Karanasos,Carlo Curino,Samuel Madden,Julian Shun:Kaskade:高效图形分析的图形视图(2019)阿尔十四
  9. Nguembang Fadja,阿诺;Riguzzi,Fabrizio:提升概率逻辑程序的区分学习(2019)
  10. 罗多斯泰努斯,克里斯托斯T。;基于迈克尔·佐伊德(Michael Zoide)的网络故事理解系统(2019)
  11. 维莱梅克,简;里古兹,法布里齐奥;科瓦尔斯基,罗伯特A。;啤酒,托比ö注册护士;萨德里,法里巴;Miguel Calejo:使用SWISH实现基于逻辑语言的交互式web教程(2019)
  12. 贝根蒂,费德里科;莫妮卡,斯蒂芬妮娅;Rossi,Gianfranco:有限域上多项式约束的约束逻辑规划(2018)
  13. 麻瓜顿,斯蒂芬;戴、王周;桑穆特,克劳德;塔马多尼·内扎德(Tamaddoni Nezhad),阿里扎(Alireza);文静;周志华:从嘈杂图像中进行元解释学习(2018)
  14. Pakin,Scott:在量子退火器上执行完全并行约束逻辑编程(2018)
  15. 贝根蒂,费德里科;Monica,Stefania:有限域上多项式约束的超弧一致性,使用修正的Bernstein形式(2017)
  16. 利勒,尤利娅;Susman,Benjamin:约束答案集规划与可满足模理论的关系(2017)
  17. 里古兹,法布里齐奥;科塔,朱塞佩;贝洛迪,埃琳娜;Zese,Riccardo:cplint中的因果推理(2017)
  18. Hirohisa Seki:论协逻辑程序设计和Horn(\mu)-微积分(2017)
  19. 沙克林,法哈德;埃尔默萨拉扎;Gupta,Gopal:自动归纳学习默认理论的新算法(2017)
  20. 泰诺斯,莫里茨;Beetz,Michael:机器人知识在\textscKnowRobframework中的表示(2017)