SWI序言

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


参考文献中的数学48条,1标准件)

显示结果1到20,共48个。
按年份排序(引用)
  1. 吉兰多,玛丽安娜;莱尔曼,比约恩;奥利维蒂,尼古拉;佩斯,斯特凡诺;Pozzato,Gian Luca:反事实推理的强逻辑的计算、反模型生成和定理证明者(2022)
  2. 阿佐利尼,达米亚诺;Riguzzi,Fabrizio:概率逻辑程序中的概率优化(2021)
  3. 乔瓦尼·卡亚托、罗伯塔·卡列加里、安德烈亚·奥米奇尼:2P Kt:符号人工智能的基于逻辑的生态系统(2021)不是zbMATH
  4. Julián-Iranzo,帕斯夸尔;Sáenz-Pérez,Fernando:有效实现假设Bousi(\sim)序言的规划(2021)
  5. 汗,阿卜杜拉;莉西莎,阿列克谢;Vernitski,Alexei:\texttgauss lintel,探索和弦图的算法套件(2021)
  6. Nguembang Fadja,阿诺;里古兹,法布里齐奥;Lamma,Evelina:学习分层概率逻辑程序(2021)
  7. 里古兹,法布里齐奥;贝洛迪,埃琳娜;泽斯,里卡多;阿尔贝蒂,马可;Lamma,Evelina:概率归纳约束逻辑(2021)
  8. 罗宾斯,埃德;国王,安迪;豪,雅各布M.:跳转是异常处理(2021)
  9. 克罗珀,安德鲁;羊肚菌,罗夫;马格尔顿,斯蒂芬:学习高阶逻辑程序(2020)
  10. 法洛米尔,佐伊;皮希,阿尔伯特;科斯塔,维森特:关于定性形状构成的空间推理。构成定性长度和角度(2020年)
  11. 安杰洛普洛斯,尼科斯;Wielemaker,一月:大数据生物分析进展(2019)
  12. 阿里亚斯,乔奎因;Carro,Manuel:使用表列CLP*评估抽象解释算法的实施(2019年)
  13. 贝根蒂,费德里科;Monica,Stefania:有限域上高次多项式约束推理的细分算法(2019)
  14. 克罗珀,安德鲁;马格尔顿,斯蒂芬H.:学习有效逻辑程序(2019)
  15. 迪弗兰科,安东尼:信息增益计算在\textscFifthsystem(2019)
  16. 吉迪,费鲁乔;萨尔多蒂·科恩,克劳迪奥;Tassi,Enrico:在高阶约束逻辑编程中实现类型理论(2019)
  17. Joana M.F.da Trindade,Konstantinos Karanasos,Carlo Curino,Samuel Madden,Julian Shun:Kaskade:高效图形分析的图形视图(2019)阿尔十四
  18. Nguembang Fadja,阿诺;Riguzzi,Fabrizio:提升概率逻辑程序的区分学习(2019)
  19. Ślażynski,马特乌斯;萨尔瓦多阿布鲁;Nalepa,Grzegorz J.:用综合逻辑程序生成局部搜索邻域(2019)
  20. 保罗,塔鲁;维莱梅克,简;Tom Schrijvers:prolog中的延迟流编程(2019)