PFLP公司 swMATH ID: 28855 软件作者: 桑德拉·戴卢斯(Sandra Dylus)、扬·克里斯蒂安森(Jan Christiansen)、芬兰·蒂根(Finn Teegen) 描述: 使用非标准非确定性实现概率编程库。本文介绍了函数逻辑编程语言Curry中的概率编程库PFLP。它演示了函数逻辑编程语言的概念如何支持概率编程库的实现。事实上,函数逻辑和概率规划的范式是紧密相连的。也就是说,一个地区的语言特征存在于另一个地区,反之亦然。例如,函数逻辑规划中的非确定性选择和调用时间选择的概念分别与概率规划中的随机记忆和概率选择相关并一致。我们将进一步看到,与基于列表的标准实现相比,基于函数逻辑编程概念的实现在性能方面具有优势,甚至可以与成熟的概率编程语言竞争,我们通过几个基准来说明这一点。《逻辑程序设计理论与实践》(TPLP)正在考虑中。 主页: https://arxiv.org/abs/1905.07212 关键词: 编程语言;arXiv_cs。损益;图书馆;概率规划;TPLP公司;咖喱;功能逻辑编程;非决定论;懒惰;呼叫时间选择 相关软件: 教堂;轻松检查;CHR.js公司;工厂;PAKCS公司;扁平咖喱;KiCS2系列;哈斯克尔;玩具;ProbLog(问题日志);咖喱;水银;夏普;哈卡鲁;PITA公司;迷你凯恩人;数据娱乐;小支票 引用于: 3文件 标准条款 2出版物描述软件,包括1出版物以zbMATH为单位 年份 使用非严格非确定性实现概率编程库。 Zbl 1434.68062号桑德拉·戴卢斯;简·克里斯蒂安森;芬兰人蒂根 2020 使用非标准非确定性实现概率规划库arXiv公司桑德拉·戴卢斯(Sandra Dylus)、扬·克里斯蒂安森(Jan Christiansen)、芬兰·蒂根(Finn Teegen) 2019 5位作者引用 2 蒂根,芬兰人 1 简·克里斯蒂安森 1 桑德拉·戴卢斯 1 汤姆·施里杰弗斯 1 范登伯格,比尔特 连载1篇 1 逻辑程序设计理论与实践 在1个字段中引用 三 计算机科学(68-XX) 按年份列出的引文